Skip to content
Kani Format Check

Kani Format Check #8815

Sign in to view logs

Kani Format Check

Kani Format Check #8815

Triggered via merge group November 11, 2024 21:11
@qinhepingqinheping
⁠ 1dd497c
Status Success
Total duration 2m 36s
Artifacts –

format-check.yml

on: merge_group
format-check
10s
format-check
clippy-check
2m 27s
clippy-check
Fit to window
Zoom out
Zoom in