Skip to content
Build & Tests

[ci] Fix bug where rustup output was piped to jq #9862

Sign in to view logs

[ci] Fix bug where rustup output was piped to jq

[ci] Fix bug where rustup output was piped to jq #9862

Run tests under Kani

Run tests under Kani
succeeded Mar 14, 2026 in 2m 40s