Run Echidna tests

Run Echidna tests #1544

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Exercise 1	1m 8s
Exercise 2	21s
Exercise 3	14s
Exercise 4	42s
Exercise 5	1m 17s
Exercise 6	1m 17s
Exercise 7	1m 16s
TestToken	52s
Gas estimation	35s
Multi	19s
Assert	17s
PopsicleBroken	48s
PopsicleFixed	1m 2s
TestDepositWithPermit	1m 2s
MultiABI	17s
	11m 27s