fix batteries git URL to unbreak CI

sullyj3 · Jul 27, 2024 · 2ebd01d · 2ebd01d
1 parent 22af4b6
commit 2ebd01d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -19,7 +19,7 @@
  "inputRev": "main",
  "inherited": false,
  "configFile": "lakefile.lean"},
- {"url": "git@github.com:leanprover-community/batteries.git",
+ {"url": "https://github.com/leanprover-community/batteries",
  "type": "git",
  "subDir": null,
  "rev": "dcea9ce8aba248927fb2ea8d5752bfe1e3fe7b44",

diff --git a/lakefile.lean b/lakefile.lean
@@ -3,7 +3,7 @@ import Lake
 open System Lake DSL
 
 require socket from git "https://github.com/hargoniX/socket.lean"@"main"
-require batteries from git "git@github.com:leanprover-community/batteries.git"@"v4.9.1"
+require batteries from git "https://github.com/leanprover-community/batteries"@"v4.9.1"
 
 package sand where
  srcDir := "src"