move batteries back to main

leanprover-community · Aug 5, 2024 · 3a4df43 · 3a4df43
1 parent 3f86eeb
commit 3a4df43
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,20 +5,20 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "a11566029bd9ec4f68a65394e8c3ff1af74c1a29",
+   "rev": "2cf1030dc2ae6b3632c84a09350b675ef3e347d0",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
    "inherited": false,
-   "configFile": "lakefile.lean"},
+   "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/batteries",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "23f04af9bdf81189bc5de51a38e5d6648201c720",
+   "rev": "021e272cb5cdcc82b7e1e760fe915ff2f64169ad",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "nightly-testing",
+   "inputRev": "main",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "importGraph",

diff --git a/lakefile.toml b/lakefile.toml
@@ -10,7 +10,7 @@ rev = "main"
 [[require]]
 name = "batteries"
 git = "https://github.com/leanprover-community/batteries"
-rev = "nightly-testing"
+rev = "main"
 
 [[lean_lib]]
 name = "ImportGraph"