Skip to content
Certora

chore: remove deployments, and hardcode compilation params #34

Sign in to view logs

chore: remove deployments, and hardcode compilation params

chore: remove deployments, and hardcode compilation params #34

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (MerkleTree)
4m 18s
verify (UniversalRewardsDistributor)
4m 26s
8m 44s