diff --git a/.github/workflows/functional_tests.yml b/.github/workflows/functional_tests.yml
index 9e15e27..cef21b1 100644
--- 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: