Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #10385 - hi-rustin:rustin-patch-badge, r=alexcrichton
Add a badge for github actions Follow up #10380 See: #10380 (comment)
- Loading branch information