Skip to content
Certora

Add rule for checking non corresponding storage keeps unchanged #105

Sign in to view logs

Add rule for checking non corresponding storage keeps unchanged

Add rule for checking non corresponding storage keeps unchanged #105

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Certora (buffer)
1m 43s
Certora (vault)
26m 28s
Certora (roles)
1m 5s
Certora (oracle)
1m 36s
Certora (registry)
1m 7s
Certora (swapper)
1m 14s
Certora (depositoruniv3)
2m 31s
Certora (stable-swapper)
1m 44s
Certora (stable-depositoruniv3)
1m 45s
Certora (conduit-mover)
1m 28s
40m 41s