Skip to content
Kani Format Check

Fix syntax errors in Kissat checking script #165

Sign in to view logs

Fix syntax errors in Kissat checking script

Fix syntax errors in Kissat checking script #165

Triggered via push September 15, 2023 07:22
@tautschnigtautschnig
pushed e010aa7
fix-kissat-check
Status Success
Total duration 16m 19s
Artifacts –

format-check.yml

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

Annotations

1 error
format-check
Process completed with exit code 123.