Skip to content
Kani Format Check

Update build command in docs to use release mode #9376

Sign in to view logs

Update build command in docs to use release mode

Update build command in docs to use release mode #9376

Annotations

1 warning

format-check

format-check
succeeded Jan 21, 2025 in 5s