Format Pull Request Files

Adjust proof tooling to support CBMC v6 #29

Sign in to view logs

Triggered via issue August 23, 2024 17:51

commented on #200 a5cd1c0

Status Skipped

Total duration 2s

Artifacts –

formatting.yml

on: issue_comment

Run Formatting Check