Skip to content
Triggered via push September 7, 2023 22:08
Status Failure
Total duration 2m 28s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

proof_ci.yaml

on: push
run_cbmc_proofs
2m 15s
run_cbmc_proofs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
run_cbmc_proofs
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
run_cbmc_proofs
The operation was canceled.