Run Echidna tests

Run Echidna tests #1619

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Exercise 1	14s
Exercise 2	12s
Exercise 3	14s
Exercise 4	15s
Exercise 5	49s
Exercise 6	54s
Exercise 7	1m 4s
TestToken	13s
Gas estimation	18s
Multi	12s
Assert	17s
PopsicleBroken	36s
PopsicleFixed	23s
TestDepositWithPermit	23s
MultiABI	16s
	6m 20s