Skip to content
Foundry

[Certora] Liquidate buffer, with executable code #2029

Sign in to view logs

[Certora] Liquidate buffer, with executable code

[Certora] Liquidate buffer, with executable code #2029

Run time

Learn about OS pricing on GitHub Actions
Job Run time
forge-test (slow)
2m 33s
forge-test (fast)
29s
3m 2s