attempt to fix CI

maxsnew · Oct 28, 2024 · a0a9083 · a0a9083
1 parent 47921db
commit a0a9083
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -135,9 +135,9 @@ jobs:
       - name: Download categorical-logic from github
         run : |
           cd ~
-          git clone https://github.com/maxsnew/cubical-categorical-logic --branch master
+          git clone https://github.com/maxsnew/cubical-categorical-logic --branch main
           cd cubical-categorical-logic
-          git checkout 295cc5defa414b861959f89f52325e098b9db6ec
+          git checkout 4e7b1c3a2ba7ed528b3cd9a4c3a5e7be3ff3449d
           cd ..
           echo "CATLOG_DIR=$PWD/cubical-categorical-logic" >> "$GITHUB_ENV"