Kani Format Check

Update toolchain to `nightly-2023-11-21` (#2890) #193

Sign in to view logs

Triggered via push November 27, 2023 13:02

tautschnig

main

Status Success

Total duration 3m 6s

Artifacts –

format-check.yml

on: push