Skip to content
checkrules

Implement CER-56-Controllers-disabling #29

Sign in to view logs

Implement CER-56-Controllers-disabling

Implement CER-56-Controllers-disabling #29

Triggered via pull request February 14, 2024 14:05
@andrew-certoraandrew-certora
synchronize #93
andrew@CER-56-Controllers-disabling
Status Failure
Total duration 3m 26s
Artifacts –

checkrules.yml

on: pull_request
Run Certora prover on all configs
3m 17s
Run Certora prover on all configs
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Run Certora prover on all configs
Process completed with exit code 1.
Run Certora prover on all configs
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.