chore: bump lean4checker to v4.13.0-rc3

leanprover-community · Oct 7, 2024 · e6d7599 · e6d7599
1 parent 0ae0531
commit e6d7599
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/lean4checker.yml b/.github/workflows/lean4checker.yml
@@ -70,7 +70,7 @@ jobs:
         run: |
           git clone https://github.com/leanprover/lean4checker
           cd lean4checker
-          git checkout v4.12.0-rc1
+          git checkout v4.13.0-rc3
           # Now that the git hash is embedded in each olean,
           # we need to compile lean4checker on the same toolchain
           cp ../lean-toolchain .