Skip to content
CI

refactor(certora): move rule about MP not greater than max MP into own spec #319

Sign in to view logs

refactor(certora): move rule about MP not greater than max MP into own spec

refactor(certora): move rule about MP not greater than max MP into own spec #319

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
17s
lint
32s
test
28s
verify (verify:stake_vault)
5m 23s
coverage
1m 8s
verify (verify:stake_manager)
13m 44s
verify (verify:stake_manager_process)
4m 32s
verify (verify:stake_manager_start_migration)
3m 57s
verify (verify:max_mp_rule)
2h 2m 58s
2h 32m 59s