Closed ramortegui closed 4 years ago
This PR updates the github actions:
Updates the badge status of the CI.
As always, thank you so much for your contributions @ramortegui :tada:
This PR updates the github actions:
Updates the badge status of the CI.