Skip to content
checkrules

Merge Recent Certora Work #22

Sign in to view logs

Merge Recent Certora Work

Merge Recent Certora Work #22

Triggered via pull request February 14, 2024 10:37
@andrew-certoraandrew-certora
synchronize #88
andrew@merge-certora
Status Cancelled
Total duration 3m 2s
Artifacts –

checkrules.yml

on: pull_request
Run Certora prover on all configs
2m 54s
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
The operation was canceled.
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/.