Skip to content
Kani Format Check

Create workflow Kani Extra for checks that run conditionally on label… #5407

Sign in to view logs

Create workflow Kani Extra for checks that run conditionally on label…

Create workflow Kani Extra for checks that run conditionally on label… #5407

Triggered via push October 26, 2023 22:57
@celinvalcelinval
pushed ecd8957
main
Status Success
Total duration 5m 2s
Artifacts –

format-check.yml

on: push
format-check
7s
format-check
clippy-check
4m 51s
clippy-check
Fit to window
Zoom out
Zoom in