From e6e676aca5fe56c66d8c00833a3aecab9cc7a502 Mon Sep 17 00:00:00 2001
From: austinletson <21346448+austinletson@users.noreply.github.com>
Date: Thu, 15 Oct 2026 02:21:58 +0000
Subject: [PATCH] chore: update functional test toolchain to v4.36.0-rc1

---
 .github/functional_test_toolchain | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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