Certora

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Certora (mintable)	11m 8s
Certora (mintable)	11m 8s
Certora (suckable)	13s
Certora (suckable)	11s
Certora (transferrable)	8m 1s
Certora (transferrable)	8m 1s
	38m 42s