Skip to content

[ci] Roll pinned nightly toolchain #5979

[ci] Roll pinned nightly toolchain

[ci] Roll pinned nightly toolchain #5979

Run tests under Kani

succeeded Nov 23, 2024 in 2m 7s