Certora

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Certora (mintable)	4m 15s
Certora (suckable)	7m 19s
Certora (transferrable)	6m 25s
	17m 59s