Skip to content
Cargo Audit

Remove unwind attributes that are no longer needed with CBMC v6 #407

Sign in to view logs

Remove unwind attributes that are no longer needed with CBMC v6

Remove unwind attributes that are no longer needed with CBMC v6 #407

Triggered via push August 1, 2024 16:17
@tautschnigtautschnig
pushed d064cc0
no-need-for-unwind
Status Success
Total duration 1m 6s
Artifacts –

audit.yml

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