From e2ba1561a457454be2202a013a5d86e8257e93d2 Mon Sep 17 00:00:00 2001 From: austinletson Date: Sun, 6 Oct 2024 07:52:57 -0400 Subject: [PATCH] chore: upgrade functional test version to 4.12.0 --- .github/workflows/functional_tests.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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: