Skip to content

Commit

Permalink
Update lean-toolchain for testing leanprover/lean4#5228
Browse files Browse the repository at this point in the history
  • Loading branch information
leanprover-community-mathlib4-bot committed Sep 2, 2024
1 parent 8397433 commit 1254aef
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion lake-manifest.json
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
"rev": "47a64aa3787c3013f72ac87db0e357cf093f9f2a",
"name": "batteries",
"manifestFile": "lake-manifest.json",
"inputRev": "nightly-testing",
"inputRev": "nightly-testing-2024-08-28",
"inherited": false,
"configFile": "lakefile.lean"},
{"url": "https://github.com/leanprover-community/quote4",
Expand Down
2 changes: 1 addition & 1 deletion lakefile.lean
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ open Lake DSL
## Mathlib dependencies on upstream projects
-/

require "leanprover-community" / "batteries" @ git "nightly-testing"
require "leanprover-community" / "batteries" @ git "nightly-testing-2024-08-28"
require "leanprover-community" / "Qq" @ git "nightly-testing"
require "leanprover-community" / "aesop" @ git "nightly-testing"
require "leanprover-community" / "proofwidgets" @ git "v0.0.42-pre2"
Expand Down
2 changes: 1 addition & 1 deletion lean-toolchain
Original file line number Diff line number Diff line change
@@ -1 +1 @@
leanprover/lean4:nightly-2024-08-28
leanprover/lean4-pr-releases:pr-release-5228

0 comments on commit 1254aef

Please sign in to comment.