[ ci ] Make pack-dependent jobs to use bleeding edge

idris-lang · Dec 18, 2024 · b5f8610 · b5f8610
1 parent 1316f58
commit b5f8610
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci-idris2-and-libs.yml b/.github/workflows/ci-idris2-and-libs.yml
@@ -636,6 +636,8 @@ jobs:
             echo "commit = \"latest:${GITHUB_REF_NAME}\""
             echo "bootstrap  = true"
           } > pack.toml
+      - name: Fetching bleeding-edge state of libraries
+        run: pack switch HEAD
       - name: Build idris2-pack
         run: |
           git config --global --add safe.directory "${PWD}"
@@ -678,6 +680,8 @@ jobs:
             echo "commit = \"latest:${GITHUB_REF_NAME}\""
             echo "bootstrap  = true"
           } > pack.toml
+      - name: Fetching bleeding-edge state of libraries
+        run: pack switch HEAD
       # make sure pack is running the PR's Idris2 before building LSP
       - name: Build pack with PR-Idris
         run: |