Skip to content
Roll pinned toolchain versions

Roll pinned toolchain versions #683

Sign in to view logs

Roll pinned toolchain versions

Roll pinned toolchain versions #683

Run time

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