mirror/erigon-pulse
1
0
Fork 0
mirror of https://gitlab.com/pulsechaincom/erigon-pulse.git synced 2024-12-22 11:41:19 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
3b18c02edf
erigon-pulse/.gitmodules
ledgerwatch ea060815ef
Remove z3 and semantics (#1314) 
* Removed z3 submodule

* Remove semantics and z3 from build

* Fixes to CI
2020-10-28 17:52:00 +00:00

4 lines
84 B
Plaintext
Raw Blame History

[submodule "tests"]
path = tests/testdata
url = https://github.com/ethereum/tests
Reference in New Issue View Git Blame Copy Permalink