From d7b3bc8219b842c79747cf42803f0c78f7600d36 Mon Sep 17 00:00:00 2001 From: Kate Date: Mon, 13 May 2024 20:00:04 +0100 Subject: [PATCH] GHA: Sync OPAM_REPO_SHA for the solver runs --- .github/workflows/ci.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 45ec4ac5fcb..37cb9975362 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -203,7 +203,6 @@ jobs: fail-fast: false env: SOLVER: ${{ matrix.solver }} - OPAM_REPO_SHA: 3d6779beedc761067596bf5c3f5c25ab57a7e3e7 OPAMBSROOT: ~/.cache/opam.${{ matrix.solver }}.cached steps: - uses: actions/checkout@v2