Certora

Refactor: make `DssVestSuckable.join` a constructor parameter #113

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Certora (mintable)	10m 11s
Certora (suckable)	15m 50s
Certora (transferrable)	11m 25s
	37m 26s