Closed dzimmanck closed 2 years ago
Updated the CI badges to point to the ones generated by GitHub actions.
bors merge
Build succeeded:
Updated the CI badges to point to the ones generated by GitHub actions.