Kani Format Check

Update toolchain to 2024-09-24 #439

Sign in to view logs

Triggered via push September 24, 2024 10:17

tautschnig

toolchain-2024-09-21-manual

Status Failure

Total duration 2m 57s

Artifacts –

format-check.yml

on: push

Annotations

1 error

clippy-check

Process completed with exit code 101.