Closed johnjcamilleri closed 3 years ago
Since we have set up a number of CI workflows in GitHub actions, I think the Travis workflow is not relevant anymore and can be removed.
Since we have set up a number of CI workflows in GitHub actions, I think the Travis workflow is not relevant anymore and can be removed.