update github action to also test on new lean version 4.14.0

katydid · Dec 6, 2024 · b640214 · b640214
1 parent d31c472
commit b640214
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check_proofs.yml b/.github/workflows/check_proofs.yml
@@ -22,7 +22,7 @@ jobs:
         run: |
           curl -O --location https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh
           chmod u+x elan-init.sh
-          ./elan-init.sh -y --default-toolchain leanprover/lean4:v4.11.0-rc2
+          ./elan-init.sh -y --default-toolchain leanprover/lean4:v4.14.0
           echo "Adding location $HOME/.elan/bin to PATH..."
           echo "$HOME/.elan/bin" >> $GITHUB_PATH