Kani Format Check

Fix cbmc-update CI job #291

Sign in to view logs

Triggered via push April 22, 2024 12:46

tautschnig

fix-cbmc-update-script

Status Success

Total duration 3m 27s

Artifacts –

format-check.yml

on: push