Skip to content

Commit

Permalink
chore: bump toolchain to v4.8.0
Browse files Browse the repository at this point in the history
kim-em committed Jun 5, 2024
1 parent 88a0643 commit 465b532
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion lean-toolchain
Original file line number Diff line number Diff line change
@@ -1 +1 @@
leanprover/lean4:v4.8.0-rc1
leanprover/lean4:v4.8.0
2 changes: 1 addition & 1 deletion test/Mathlib/lakefile.lean
Original file line number Diff line number Diff line change
@@ -3,7 +3,7 @@ open Lake DSL

package «repl-mathlib-tests» where
-- add package configuration options here
require mathlib from git "https://github.com/leanprover-community/mathlib4" @ "v4.8.0-rc1"
require mathlib from git "https://github.com/leanprover-community/mathlib4" @ "v4.8.0"

@[default_target]
lean_lib «ReplMathlibTests» where
2 changes: 1 addition & 1 deletion test/Mathlib/lean-toolchain
Original file line number Diff line number Diff line change
@@ -1 +1 @@
leanprover/lean4:v4.8.0-rc1
leanprover/lean4:v4.8.0

0 comments on commit 465b532

Please sign in to comment.