Skip to content
Back to pull request #3403

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

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 #7478

Triggered via pull request August 1, 2024 21:25
@tautschnigtautschnig
synchronize #3403
tautschnig:no-need-for-unwind
Status Success
Total duration 3m 18s
Artifacts –

format-check.yml

on: pull_request
format-check
7s
format-check
clippy-check
3m 9s
clippy-check
Fit to window
Zoom out
Zoom in