chore: upgrade functional test version to 4.12.0 (#106)

leanprover · Oct 6, 2024 · b471931 · b471931
1 parent 9e84bf8
commit b471931
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/functional_tests.yml b/.github/workflows/functional_tests.yml
@@ -13,12 +13,12 @@ on:
       toolchain:
         description: "The Lean toolchain to use when running the tests."
         required: false
-        default: "leanprover/lean4:v4.11.0"
+        default: "leanprover/lean4:v4.12.0"
 
 # This environment variable is nessecary in addition ot the workflow_dispatch input
 # because the workflow_dispatch input is not available when the workflow is triggered by a pull request
 env:
-  toolchain: ${{ github.event.inputs.toolchain || 'leanprover/lean4:v4.11.0' }}
+  toolchain: ${{ github.event.inputs.toolchain || 'leanprover/lean4:v4.12.0' }}
 
 jobs:
   lake-init-success: