Bump the Lean versions in CI.

Julian · Aug 11, 2023 · 6cc577b · 6cc577b
1 parent e2b5d86
commit 6cc577b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lua/tests/fixtures/example-lean3-project/leanpkg.toml b/lua/tests/fixtures/example-lean3-project/leanpkg.toml
@@ -5,4 +5,4 @@ lean_version = "leanprover-community/lean:3.51.1"
 path = "src"
 
 [dependencies]
-mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "d11f435d4e34a6cea0a1797d6b625b0c170be845"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "32a7e535287f9c73f2e4d2aef306a39190f0b504"}
diff --git a/lua/tests/fixtures/example-lean4-project/lean-toolchain b/lua/tests/fixtures/example-lean4-project/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-07-12
+leanprover/lean4:nightly-2023-08-05