Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
## Description, Context and related Issue <!--- Please describe your changes. Why is this change required? What problem does it solve? --> The build badge is currently not displayed properly since it points to an outdated URL. The respective workflow got renamed in 089e6d9 but the Readme not properly updated. ## Types of changes <!--- What types of changes does your code introduce? Please DELETEE options that are not relevant. --> - Bug fix (non-breaking change which fixes an issue)
- Loading branch information