chore: add back halmos-cheatcodes with https

morpho-org · Apr 2, 2024 · b1445fa · b1445fa
1 parent bb2f9af
commit b1445fa
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "lib/forge-std"]
 	path = lib/forge-std
 	url = https://github.com/foundry-rs/forge-std
+[submodule "lib/halmos-cheatcodes"]
+	path = lib/halmos-cheatcodes
+	url = https://github.com/a16z/halmos-cheatcodes.git
diff --git a/lib/halmos-cheatcodes b/lib/halmos-cheatcodes