Closed pierrepo closed 3 years ago
We are now using GitHub actions for CI (instead of Travis previously).
The Travis CI badge is no longer relevant. @HubLot could you try to update it with a workflow badge?
We are now using GitHub actions for CI (instead of Travis previously).
The Travis CI badge is no longer relevant. @HubLot could you try to update it with a workflow badge?