Skip to content

Roll pinned toolchain versions #445

Roll pinned toolchain versions

Roll pinned toolchain versions #445

Annotations

3 errors

Roll pinned Kani version (main)

failed Oct 18, 2024 in 4s