Revert "feat: echidna test run"

This reverts commit b468e1f.
Steveantor · Sep 1, 2023 · 69a9cfe · 69a9cfe
1 parent b468e1f
commit 69a9cfe
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 40 deletions.
diff --git a/.github/workflows/echidna-test.yml b/.github/workflows/echidna-test.yml
diff --git a/.gitmodules b/.gitmodules
@@ -31,6 +31,3 @@
 	url = https://github.com/Uniswap/v3-periphery.git
 	branch= main
 
-[submodule "packages/contracts/lib/properties"]
-	path = packages/contracts/lib/properties
-	url = https://github.com/crytic/properties
diff --git a/packages/contracts/lib/properties b/packages/contracts/lib/properties