Skip to content
certora

Merge pull request #162 from BlockchainAsset/160-certora-setup #2

Sign in to view logs

Merge pull request #162 from BlockchainAsset/160-certora-setup

Merge pull request #162 from BlockchainAsset/160-certora-setup #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifySplitter.sh)
3m 38s
verify (verifySplitter.sh)
31s
verify (verifySplitter.sh)
2m 19s
6m 28s