Kani Format Check

Merge branch 'main' into harness_output_individual_files #18

Sign in to view logs

Triggered via push October 8, 2024 02:39

jaisnan

harness_output_individual_files

Status Failure

Total duration 1m 49s

Artifacts –

format-check.yml

on: push

Annotations

1 error

clippy-check

Process completed with exit code 101.