chore: bump functional tests default Lean version to 4.9.0 (#72)

leanprover · Jul 7, 2024 · de3e024 · de3e024
1 parent 16fb934
commit de3e024
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.8.0'
+        default: 'leanprover/lean4:v4.9.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.8.0' }}
+  toolchain: ${{ github.event.inputs.toolchain || 'leanprover/lean4:v4.9.0' }}
 
 jobs:
   lake-init-success: