mirror/erigon-pulse
1
0
Fork 0
mirror of https://gitlab.com/pulsechaincom/erigon-pulse.git synced 2024-12-25 13:07:17 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
8af432b89e
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