Skip to content

Update .github/workflows/cbmc-update.yml #209

Update .github/workflows/cbmc-update.yml

Update .github/workflows/cbmc-update.yml #209

Triggered via push November 28, 2023 21:48
Status Success
Total duration 1m 48s
Artifacts

audit.yml

on: push
Fit to window
Zoom out
Zoom in