PR build

toolchain specifier: we don't need the master# / try# prefix any more #642

Sign in to view logs

Triggered via pull request July 21, 2026 08:57

RalfJung

synchronize #847

RalfJung:toolchain-names-try2

Status Success

Total duration 9m 40s

Artifacts –

pr.yml

on: pull_request