New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore(echidna): moves echidna test suite outside of contracts tempora… #238

Merged

Alexangelj merged 3 commits into 1.0.0-beta from clean/tests-echidna-ci

Feb 28, 2023

Contributor

Alexangelj commented Feb 28, 2023

Changelog

Moves echidna test suite out of contracts/ directory temporarily while new test suite/invariant suite is being developed.

Alexangelj added 3 commits

February 27, 2023 18:27


          chore(echidna): moves echidna test suite outside of contracts tempora…

403109c

…rily


          ci(build-test): updates test ci to just run for RMM01, adds build ci

ac7658a


          ci(build): moves build ci to main since it takes long

8af692b

Alexangelj merged commit 4a549b6 into 1.0.0-beta

Alexangelj deleted the clean/tests-echidna-ci branch

February 28, 2023 02:48

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet