Skip to content
Foundry sizes

[Certora] Bound expected supply assets #1823

Sign in to view logs

[Certora] Bound expected supply assets

[Certora] Bound expected supply assets #1823

Run time

Learn about OS pricing on GitHub Actions
Job Run time
sizes
5m 11s
5m 11s