Skip to content
Roll pinned toolchain versions

Roll pinned toolchain versions #682

Sign in to view logs

Roll pinned toolchain versions

Roll pinned toolchain versions #682

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Roll pinned toolchain stable version on main
1m 44s
Roll pinned Kani version (main)
6s
Roll pinned toolchain nightly version on main
1m 38s
Roll pinned Kani version (v0.7.x)
9s
3m 37s