Skip to content

Improve PR job names in Github Actions preview#109868

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

Commits

Commits on Apr 2, 2023