Skip to content
Kani Format Check

Kani Format Check #8152

Sign in to view logs

Kani Format Check

Kani Format Check #8152

Triggered via merge group September 21, 2024 08:10
@qinhepingqinheping
⁠ d05d604
Status Success
Total duration 4m 32s
Artifacts –

format-check.yml

on: merge_group
format-check
6s
format-check
clippy-check
4m 22s
clippy-check
Fit to window
Zoom out
Zoom in