Skip to content
Kani Format Check

Revert model change #218

Sign in to view logs

Revert model change

Revert model change #218

Triggered via push December 6, 2023 21:18
@celinvalcelinval
pushed 74cf69d
toolchain-2023-12-03-manual
Status Success
Total duration 3m 29s
Artifacts –

format-check.yml

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