Closed tristanlatr closed 3 years ago
Sorry I actually did not seen the Travis ci file. I systematically thought that if such an error (#231) were introduced, it must have been that no CI were configured ^^ .
The pr #234 also fixes #231, so if you don’t want to switch to github ci, then this pr must be edited to remove the github workflow file.
This should be quite easy and it will avoid stuff like #231.
I can send a PR for that.