Kani Format Check

Merge branch 'main' into fix-toolchain-820 #308

Sign in to view logs

Triggered via push August 27, 2024 20:19

jaisnan

fix-toolchain-820

Status Failure

Total duration 2m 33s

Artifacts –

format-check.yml

on: push

Annotations

1 error

clippy-check

Process completed with exit code 101.