Skip to content
CI

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

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 #316

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
32s
build
26s
test
26s
coverage
1m 9s
verify (verify:stake_vault)
7m 35s
verify (verify:stake_manager)
29m 2s
verify (verify:stake_manager_process)
6m 27s
verify (verify:stake_manager_start_migration)
15m 27s
verify (verify:max_mp_rule)
2h 2m 27s
3h 3m 31s