Skip to content
Build & Tests

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

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 #9861

Annotations

3 errors

Run tests under Kani

Run tests under Kani
cancelled Mar 14, 2026 in 1m 6s