Merge pull request #1320 from crytic/dev-bump-2.2.5 #2083

Job	Run time
Build Echidna on ubuntu-20.04	21m 27s
Build Echidna on macos-13	34m 23s
Build Echidna on windows-latest	25m 39s
Test with solc 0.4.25 on ubuntu-latest	3m 29s
Test with solc 0.5.7 on ubuntu-latest	3m 38s
Test with solc 0.6.12 on ubuntu-latest	3m 55s
Test with solc 0.7.5 on ubuntu-latest	3m 50s
Test with solc 0.4.25 on windows-latest	3m 51s
Test with solc 0.5.7 on windows-latest	4m 42s
Test with solc 0.6.12 on windows-latest	5m 18s
Test with solc 0.7.5 on windows-latest	4m 42s
	1h 54m 54s

Provide feedback