Kani Format Check

Update toolchain to `nightly-2023-11-21` #644

Sign in to view logs

Triggered via pull request November 21, 2023 16:02

celinval

synchronize #22

issue-xxxx-toolchain-23-11-21

Status Failure

Total duration 1m 53s

Artifacts –

format-check.yml

on: pull_request

Annotations

1 error

clippy-check

Process completed with exit code 101.