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

Sign in to view logs

Triggered via push November 28, 2023 21:48

auto-update-deps

Status Success

Total duration 1m 47s

Artifacts –

audit.yml

on: push