Closed lrk closed 2 years ago
Now github actions are a thing, we don't need to use travis anymore. -> migrate from travis CI to github actions
+1 please let me know if you need help with this task
@oukooveu yes, of course, if you have time for that feel free to do it !
Now github actions are a thing, we don't need to use travis anymore. -> migrate from travis CI to github actions