Skip to content
Certora

[Certora] Universal rewards distributor verification #25

Sign in to view logs

[Certora] Universal rewards distributor verification

[Certora] Universal rewards distributor verification #25

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (MerkleTree)
1m 3s
verify (UniversalRewardsDistributor)
1m 18s
2m 21s