Skip to content
Roll pinned toolchain versions

Roll pinned toolchain versions #365

Sign in to view logs

Roll pinned toolchain versions

Roll pinned toolchain versions #365

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Roll pinned Kani version (main)
8s
Roll pinned Kani version (main)
8s
Roll pinned Kani version (main)
8s
Roll pinned Kani version (main)
8s
Roll pinned Kani version (main)
8s
Roll pinned Kani version (main)
8s
Roll pinned toolchain stable version on main
25s
Roll pinned toolchain stable version on main
25s
Roll pinned toolchain stable version on main
25s
Roll pinned toolchain stable version on main
1s
Roll pinned toolchain stable version on main
1s
Roll pinned toolchain stable version on main
1s
Roll pinned Kani version (v0.7.x)
9s
Roll pinned Kani version (v0.7.x)
9s
Roll pinned Kani version (v0.7.x)
9s
Roll pinned Kani version (v0.7.x)
9s
Roll pinned Kani version (v0.7.x)
9s
Roll pinned Kani version (v0.7.x)
9s
Roll pinned toolchain stable version on v0.7.x
10s
Roll pinned toolchain stable version on v0.7.x
10s
Roll pinned toolchain stable version on v0.7.x
10s
Roll pinned toolchain stable version on v0.7.x
10s
Roll pinned toolchain stable version on v0.7.x
10s
Roll pinned toolchain stable version on v0.7.x
10s
Roll pinned toolchain nightly version on main
23s
Roll pinned toolchain nightly version on main
1m 19s
Roll pinned toolchain nightly version on main
1m 19s
Roll pinned toolchain nightly version on main
1m 19s
Roll pinned toolchain nightly version on main
1m 19s
Roll pinned toolchain nightly version on main
1m 19s
Roll pinned toolchain nightly version on v0.7.x
13s
Roll pinned toolchain nightly version on v0.7.x
13s
Roll pinned toolchain nightly version on v0.7.x
16s
Roll pinned toolchain nightly version on v0.7.x
16s
Roll pinned toolchain nightly version on v0.7.x
16s
Roll pinned toolchain nightly version on v0.7.x
16s
12m 28s