Certora Prover

docs: rewards v2 #2983

Sign in to view logs

Triggered via pull request December 12, 2024 23:02

ypatil12

synchronize #952

nadir/rewards-v2-docs

Status Success

Total duration 4m 54s

Artifacts –

certora-prover.yml

on: pull_request

Matrix: verify

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/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/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/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