Skip to content

Add CBMC to CI

Add CBMC to CI #105

Triggered via push May 31, 2024 20:10
Status Failure
Total duration 1m 15s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Format error: .github/workflows/build.yml#L64
.github/workflows/build.yml require to be formatted
build_test
Process completed with exit code 1.