Skip to content

Roll pinned toolchain versions #128

Roll pinned toolchain versions

Roll pinned toolchain versions #128

Annotations

1 error

Roll pinned Kani version

failed Apr 4, 2024 in 9s