Skip to content

Improve PR job names in Github Actions preview#109868

Merged
bors merged 1 commit into
rust-lang:masterfrom
jyn514:ci-names
Apr 3, 2023
Merged

Improve PR job names in Github Actions preview#109868
bors merged 1 commit into
rust-lang:masterfrom
jyn514:ci-names

Improve job names in Github Actions preview

423e76f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs