Skip to content
Kani Format Check

Add a new test that narrow down the issue #219

Sign in to view logs

Add a new test that narrow down the issue

Add a new test that narrow down the issue #219

Triggered via push December 6, 2023 21:37
@celinvalcelinval
pushed 787268c
toolchain-2023-12-03-manual
Status Success
Total duration 2m 53s
Artifacts –

format-check.yml

on: push
format-check
6s
format-check
clippy-check
2m 45s
clippy-check
Fit to window
Zoom out
Zoom in