Skip to content
Cargo Deny

Update to CBMC 6.3.1 and fix auto-update script #2

Sign in to view logs

Update to CBMC 6.3.1 and fix auto-update script

Update to CBMC 6.3.1 and fix auto-update script #2

Triggered via push September 23, 2024 10:33
@tautschnigtautschnig
pushed aa8920d
cbmc-6.3.1
Status Success
Total duration 1m 1s
Artifacts –

deny.yml

on: push
audit
50s
audit
Fit to window
Zoom out
Zoom in