Skip to content

Commit

Permalink
chore: bump toolchain to v4.8.0
Browse files Browse the repository at this point in the history
  • Loading branch information
kim-em committed Jun 5, 2024
1 parent b167323 commit d9956e9
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion lake-manifest.json
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
{"url": "https://github.com/leanprover-community/batteries",
"type": "git",
"subDir": null,
"rev": "56d2e4ee226603eb6b90b05f6b944bde42672cd5",
"rev": "51e6e0d24db9341fb031288c298b7e6b56102253",
"name": "batteries",
"manifestFile": "lake-manifest.json",
"inputRev": "main",
Expand Down
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

0 comments on commit d9956e9

Please sign in to comment.