Skip to content

[ci] Roll pinned nightly toolchain #6479

[ci] Roll pinned nightly toolchain

[ci] Roll pinned nightly toolchain #6479

Run tests under Kani

succeeded Feb 25, 2025 in 2m 9s