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 1)

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