Skip to content
Certora Prover

feat: regen align-environments branch #2969

Sign in to view logs

feat: regen align-environments branch

feat: regen align-environments branch #2969

Triggered via pull request December 12, 2024 01:12
@MinisculeTarantulaMinisculeTarantula
synchronize #896
feat-regen-align-environments-branch
Status Success
Total duration 4m 45s
Artifacts –

certora-prover.yml

on: pull_request
list-scripts
5s
list-scripts
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
list-scripts
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
list-scripts
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
verify (certora/scripts/pods/verifyEigenPod.sh)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (certora/scripts/permissions/verifyPausable.sh)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (certora/scripts/pods/verifyEigenPodManager.sh)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (certora/scripts/core/verifyStrategyManager.sh)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (certora/scripts/strategies/verifyStrategyBase.sh)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (certora/scripts/core/verifyDelegationManager.sh)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636