Improve PR job names in Github Actions preview Fixes https://rust-lang.zulipchat.com/#narrow/stream/242791-t-infra/topic/PR.20CI.20job.20names. Before: `CI / PR (mingw-check, false, ubuntu-20.04-16core-64gb) (pull_request)` After: `CI / PR - mingw-check (pull_request)` r? ``@jyn514`` |
||
|---|---|---|
| .. | ||
| docker | ||
| github-actions | ||
| scripts | ||
| channel | ||
| cpu-usage-over-time.py | ||
| publish_toolstate.sh | ||
| run.sh | ||
| shared.sh | ||
| stage-build.py | ||