Closed UrsMetz closed 2 years ago
After switching from Travis to GitHub actions the new badge should be used.
After switching from Travis to GitHub actions the new badge should be used.