Skip to content

Kani CI

Kani CI #180

Annotations

1 error

run-kani

failed Jan 4, 2025 in 48s
Set up job
1s
Checkout your code.
1s
Run Kani on your code.
44s
Post Run Kani on your code.
0s
Post Checkout your code.
0s
Complete job
0s