]> git.proxmox.com Git - cargo.git/commitdiff
Auto merge of #11039 - ehuss:ci-names, r=epage
authorbors <bors@rust-lang.org>
Wed, 31 Aug 2022 21:14:13 +0000 (21:14 +0000)
committerbors <bors@rust-lang.org>
Wed, 31 Aug 2022 21:14:13 +0000 (21:14 +0000)
Add names to CI jobs

This adds names to the CI jobs. I've often found the existing auto-generated names to be confusing, and I think it would help to make them a little more succinct and clearer.

Before:
<img width="314" alt="image" src="https://user-images.githubusercontent.com/43198/187777515-6237f765-d747-4d74-8e06-baa86fbe8b2f.png">

After:
<img width="295" alt="image" src="https://user-images.githubusercontent.com/43198/187777559-6e21f08a-cf4c-4aaf-86ba-201bdd90c84f.png">


Trivial merge