Closed mkurz closed 1 year ago
Seems like travis does not even run anymore, time to move to GitHub actions...
Seems like travis does not even run anymore, time to move to GitHub actions...