Fix cubical version in CI (#96)

* Update ci-ubuntu.yml * Update ci-html.yml
pufferffish · Sep 3, 2024 · 96e9e9e · 96e9e9e
1 parent 5c3c1cf
commit 96e9e9e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.github/workflows/ci-html.yml b/.github/workflows/ci-html.yml
@@ -43,6 +43,7 @@ on:
 
 env:
   AGDA_BRANCH: v2.6.4
+  CUBICAL_BRANCH: v0.7
   GHC_VERSION: 9.2.5
   CABAL_VERSION: 3.6.2.0
   CABAL_INSTALL: cabal install --overwrite-policy=always --ghc-options='-O1 +RTS -M6G -RTS'
@@ -115,7 +116,8 @@ jobs:
         with:
           repository: agda/cubical
           path: cubical
-
+          ref: ${{ env.CUBICAL_BRANCH }}
+
       - name: Register cubical
         run: |
           mkdir ~/.agda

diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
@@ -45,6 +45,7 @@ on:
 
 env:
   AGDA_BRANCH: v2.6.4
+  CUBICAL_BRANCH: v0.7
   GHC_VERSION: 9.2.5
   CABAL_VERSION: 3.6.2.0
   CABAL_INSTALL: cabal install --overwrite-policy=always --ghc-options='-O1 +RTS -M6G -RTS'
@@ -114,6 +115,7 @@ jobs:
         with:
           repository: agda/cubical
           path: cubical
+          ref: ${{ env.CUBICAL_BRANCH }}
 
       - name: Register cubical
         run: |
@@ -136,4 +138,4 @@ jobs:
       - name: Test
         run: |
           cd symmetries
-          agda Everything.agda
+          agda Everything.agda