Skip to content

Attempt CBMC update

Attempt CBMC update #1

Triggered via schedule December 4, 2023 04:34
Status Startup failure
Total duration
Artifacts

cbmc-update.yml

on: schedule
create-cargo-update-pr
create-cargo-update-pr
Fit to window
Zoom out
Zoom in

Annotations

1 error
Invalid workflow file: .github/workflows/cbmc-update.yml#L81
The workflow is not valid. .github/workflows/cbmc-update.yml (Line: 81, Col: 17): Unrecognized named-value: 'evn'. Located at position 1 within expression: evn.CBMC_VERSION