missing pack switches

joelberkeley · Jan 5, 2024 · 388bca9 · 388bca9
1 parent 27a4687
commit 388bca9
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
@@ -43,11 +43,15 @@ jobs:
     steps:
     - uses: actions/checkout@v3
     - name: Type-check README
-      run: pack --no-prompt typecheck readme.ipkg
+      run: |
+        pack switch HEAD
+        pack --no-prompt typecheck readme.ipkg
   tutorials:
     runs-on: ubuntu-latest
     container: ghcr.io/stefan-hoeck/idris2-pack
     steps:
     - uses: actions/checkout@v3
     - name: Type-check tutorials
-      run: res=0; for f in tutorials/*.ipkg; do pack --no-prompt typecheck $f || res=$?; done; $(exit $res)
+      run: |
+        pack switch HEAD
+        res=0; for f in tutorials/*.ipkg; do pack --no-prompt typecheck $f || res=$?; done; $(exit $res)
diff --git a/.github/workflows/release-docs.yml b/.github/workflows/release-docs.yml
@@ -27,6 +27,7 @@ jobs:
     steps:
     - uses: actions/checkout@v3
     - run: |
+        pack switch HEAD
         pack --no-prompt --with-docs install spidr
         mv build/docs .
     - run: |