Kani Format Check

Update CBMC version to 5.95.1 (#2844) #5421

Sign in to view logs

Triggered via push October 31, 2023 14:17

Status Success

Total duration 4m 50s

Artifacts –

format-check.yml

on: push