Skip to content
Kani Format Check

add expected file for loops fixme test #195

Sign in to view logs

add expected file for loops fixme test

add expected file for loops fixme test #195

Triggered via push February 10, 2025 19:45
@carolynzechcarolynzech
pushed 8750860
optional-harness
Status Success
Total duration 3m 39s
Artifacts –

format-check.yml

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