chore: upgrade functional test suite to Lean version 4.16.0 (#115)

leanprover · Feb 9, 2025 · 89bb327 · 89bb327
1 parent 3479f09
commit 89bb327
Showing 1 changed file with 3 additions and 3 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.15.0"
+        default: "leanprover/lean4:v4.16.0"
 
-# This environment variable is nessecary in addition ot the workflow_dispatch input
+# This environment variable is necessary in addition to 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.15.0' }}
+  toolchain: ${{ github.event.inputs.toolchain || 'leanprover/lean4:v4.16.0' }}
 
 jobs:
   lake-init-success: