Skip to content
Certora

[Certora] Dispatch tokens and verify safe transfer lib #26

Sign in to view logs

[Certora] Dispatch tokens and verify safe transfer lib

[Certora] Dispatch tokens and verify safe transfer lib #26

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifyBlue.sh)
3m 14s
verify (verifyBlueRatioMathSummary.sh)
1m 59s
verify (verifyBlueExitLiquidity.sh)
5m 6s
10m 19s