diff --git a/.github/functional_test_toolchain b/.github/functional_test_toolchain
index 0ec5999..2afd387 100644
--- a/.github/functional_test_toolchain
+++ b/.github/functional_test_toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.32.2
+leanprover/lean4:v4.36.0-rc1