Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Badges API has changed and our build badge is broken at the moment. This should fix it. See badges/shields#8671 for more context.
- Loading branch information