Remove Travis CI?
Closed this issue · 0 comments
johnjcamilleri commented
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.
Closed this issue · 0 comments
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.