Closed Faber92 closed 4 years ago
Remove Travis?
I was trying to fix it in the other PR. I don't know whether we want to proceed with double CI or not
Remove Travis?