Skip to content
Cargo Deny

Automatic upgrade of CBMC from 6.3.1 to 6.4.0 #948

Sign in to view logs

Automatic upgrade of CBMC from 6.3.1 to 6.4.0

Automatic upgrade of CBMC from 6.3.1 to 6.4.0 #948

Triggered via pull request November 6, 2024 18:53
@tautschnigtautschnig
synchronize #3689
cbmc-6.4.0
Status Success
Total duration 1m 14s
Artifacts –

deny.yml

on: pull_request
audit
1m 4s
audit
Fit to window
Zoom out
Zoom in