Skip to content

Fix formatting: import order and line wrapping

9eeed4c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Challenge 29: Verify safety of Box functions #573

Fix formatting: import order and line wrapping
9eeed4c
Select commit
Loading
Failed to load commit list.

Annotations

1 error and 1 warning
Kani List
succeeded Mar 27, 2026 in 56m 5s