Kani Format Check

Update CBMC version to 5.94 #5358

Sign in to view logs

Triggered via pull request October 16, 2023 23:17

celinval

opened #2821

celinval:issue-xxxx-cmbc-5.94

Status Success

Total duration 4m 33s

Artifacts –

format-check.yml

on: pull_request