Skip to content
CI

refactor(certora): introduce shared.spec to reuse helper functions #264

Sign in to view logs

refactor(certora): introduce shared.spec to reuse helper functions

refactor(certora): introduce shared.spec to reuse helper functions #264

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
17s
lint
22s
verify (verify:stake_vault)
12m 48s
coverage
1h 37m 43s
test
4m 56s
verify (verify:stake_manager)
30m 40s
verify (verify:stake_manager_process)
6m 10s
verify (verify:stake_manager_start_migration)
13m 21s
2h 46m 17s