Skip to content
Back to pull request #3748

Automatic upgrade of CBMC from 6.4.0 to 6.4.1 #1227

Sign in to view logs

Automatic upgrade of CBMC from 6.4.0 to 6.4.1

Automatic upgrade of CBMC from 6.4.0 to 6.4.1 #1227

Triggered via pull request November 29, 2024 10:08
@tautschnigtautschnig
reopened #3748
cbmc-6.4.1
Status Success
Total duration 1m 40s
Artifacts –

deny.yml

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