Skip to content

.github/workflows/certora-prover.yml #3349

.github/workflows/certora-prover.yml

.github/workflows/certora-prover.yml #3349

Triggered via schedule July 1, 2026 00:53
Status Failure
Total duration 4s
Artifacts

certora-prover.yml

on: schedule
Compile and verify
2s
Compile and verify
Fit to window
Zoom out
Zoom in

Annotations

1 error
Compile and verify
The actions certora/rust-setup-action@v1, mshick/add-pr-comment@v2, actions/cache@v4, actions/setup-java@v4, actions/upload-artifact@v4, and 1 other are not allowed in Layr-Labs/eigenlayer-contracts because all actions must be from a repository owned by your enterprise, created by GitHub, verified in the GitHub Marketplace, or match one of the patterns: Certora/certora-run-action@*, MishaKav/pytest-coverage-comment@*, anthropics/claude-code-action@*, anthropics/claude-code-security-review@*, arduino/setup-protoc@*, aws-actions/amazon-ecr-login@*, aws-actions/configure-aws-credentials@*, azure/setup-helm@*, azure/setup-kubectl@*, bufbuild/buf-action@*, codecov/codecov-action@*, crate-ci/typos@*, docker/build-push-action@*, docker/login-action@*, docker/metadata-action@*, docker/setup-buildx-action@*, docker/setup-qemu-action@*, dtolnay/rust-toolchain@*, foundry-rs/foundry-toolchain@*, fpicalausa/remove-stale-branches@*, gittools/actions@*, golangci/golangci-lint-action@*, jdx/mise-ac...