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

Sign in to view logs

Triggered via pull request August 1, 2024 21:25

synchronize #3403

tautschnig:no-need-for-unwind

Status Success

Total duration 1m 1s

Artifacts –

audit.yml

on: pull_request