Skip to content
Kani

Run format check in our CI and fix repo format (#205) #1239

Sign in to view logs

Run format check in our CI and fix repo format (#205)

Run format check in our CI and fix repo format (#205) #1239

Annotations

1 warning

Verify std library (partition 1)

Verify std library (partition 1)
succeeded Jan 4, 2025 in 38m 52s