Skip to content
certora

fix: certora use solc 8.20 to compile oz 5.2 #89

Sign in to view logs

fix: certora use solc 8.20 to compile oz 5.2

fix: certora use solc 8.20 to compile oz 5.2 #89

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (ccip.conf)
5m 41s
5m 41s