Skip to content
Kani

Run format check in our CI and fix repo format #1226

Sign in to view logs

Run format check in our CI and fix repo format

Run format check in our CI and fix repo format #1226

Annotations

1 warning

Verify std library (partition 3)

Verify std library (partition 3)
succeeded Jan 3, 2025 in 27m 1s