ci: harden lint workflow (#1091) #1902

Job	Run time
Echidna (TickEchidnaTest)	1m 38s
Echidna (BitMathEchidnaTest)	1m 58s
Echidna (SqrtPriceMathEchidnaTest)	2m 2s
Echidna (TickMathEchidnaTest)	1m 50s
Echidna (TickOverflowSafetyEchidnaTest)	1m 57s
Echidna (OracleEchidnaTest)	9m 7s
Echidna (TickBitmapEchidnaTest)	2m 6s
Echidna (FullMathEchidnaTest)	1m 55s
Echidna (LowGasSafeMathEchidnaTest)	1m 42s
Echidna (SwapMathEchidnaTest)	1m 46s
Echidna (UnsafeMathEchidnaTest)	1m 45s
	27m 46s

Navigation Menu