From b27c0979b7ffd192e3518cff9e07886ab2a07326 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= Date: Mon, 23 Feb 2026 08:10:18 +0000 Subject: [PATCH] [ci] use the `main` build box in CI CI runs only on `main` and PRs onto `main`, so this is fine. --- .github/workflows/ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 47657e92a8..144c8ba798 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -16,7 +16,7 @@ jobs: name: EasyCrypt compilation (opam) runs-on: ubuntu-24.04 container: - image: ghcr.io/easycrypt/ec-build-box + image: ghcr.io/easycrypt/ec-build-box:main steps: - uses: actions/checkout@v4 - name: Install EasyCrypt dependencies @@ -52,7 +52,7 @@ jobs: needs: compile-opam runs-on: ubuntu-24.04 container: - image: ghcr.io/easycrypt/ec-build-box + image: ghcr.io/easycrypt/ec-build-box:main strategy: fail-fast: false matrix: @@ -101,7 +101,7 @@ jobs: needs: [compile-opam, fetch-external-matrix] runs-on: ubuntu-24.04 container: - image: ghcr.io/easycrypt/ec-build-box + image: ghcr.io/easycrypt/ec-build-box:main strategy: fail-fast: false matrix: