Skip to content
Certora

Merge pull request #16 from makerdao/v2 #15

Sign in to view logs

Merge pull request #16 from makerdao/v2

Merge pull request #16 from makerdao/v2 #15

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Certora (vote-delegate)
1m 28s
Certora (vote-delegate-factory)
1m 18s
2m 46s