Certora

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Certora (mintable)	10m 41s
Certora (suckable)	16m 32s
Certora (transferrable)	10m 15s
	37m 28s