Skip to content
Formatting

[Certora] import invariant statement #1216

Sign in to view logs

[Certora] import invariant statement

[Certora] import invariant statement #1216

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
36s
36s