A toolchain that is whatever the runner image happens to ship is a build that
changes without a commit. It also makes a contributor's local failure impossible
to compare with a gate failure, because the two ran different compilers.
Done when
A version file in the tree names the exact toolchain version, the gate reads that
file rather than carrying a duplicate version string in workflow YAML, and a
contributor with the wrong version installed is told so by name and number rather
than by a compile error. Blocked on #11.
A toolchain that is whatever the runner image happens to ship is a build that
changes without a commit. It also makes a contributor's local failure impossible
to compare with a gate failure, because the two ran different compilers.
Done when
A version file in the tree names the exact toolchain version, the gate reads that
file rather than carrying a duplicate version string in workflow YAML, and a
contributor with the wrong version installed is told so by name and number rather
than by a compile error. Blocked on #11.