Skip to content
Echidna

refactor(DssVestMintable): remove filtered clause from rule #335

Sign in to view logs

refactor(DssVestMintable): remove filtered clause from rule

refactor(DssVestMintable): remove filtered clause from rule #335

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Echidna (DssVestMintableEchidnaTest)
21m 22s
Echidna (DssVestSuckableEchidnaTest)
21m 32s
Echidna (DssVestTransferrableEchidnaTest)
22m 0s
1h 4m 54s