Kani Format Check

Upgrade tooclhain to 2024-02-15 #376

Sign in to view logs

Triggered via push February 17, 2024 21:49

zhassan-aws

toolchain-2024-02-15

Status Failure

Total duration 1m 58s

Artifacts –

format-check.yml

on: push

Annotations

1 error

clippy-check

Process completed with exit code 101.