Skip to content
Kani Format Check

Fix syntax error in cbmc-update CI job #289

Sign in to view logs

Fix syntax error in cbmc-update CI job

Fix syntax error in cbmc-update CI job #289

Triggered via push April 15, 2024 16:11
@tautschnigtautschnig
pushed ac3a82a
fix-cbmc-update-syntax
Status Success
Total duration 2m 17s
Artifacts –

format-check.yml

on: push
format-check
6s
format-check
clippy-check
2m 7s
clippy-check
Fit to window
Zoom out
Zoom in