Skip to content
Kani Format Check

Kani Format Check #8220

Sign in to view logs

Kani Format Check

Kani Format Check #8220

Triggered via merge group September 25, 2024 07:43
@tautschnigtautschnig
⁠ 61aca4c
Status Success
Total duration 3m 44s
Artifacts –

format-check.yml

on: merge_group
format-check
5s
format-check
clippy-check
3m 29s
clippy-check
Fit to window
Zoom out
Zoom in