Closed cderv closed 3 years ago
We need to switch from Travis and migrate to Github actions.
That would be better now we are using GHA in other repos.
Yes, please go ahead and do it at any time. Thank you!
Yes I opened this as a TODO item 😅
@RLesur if you want to play with GHA a bit, feel free to tell me and I let you do it.
We need to switch from Travis and migrate to Github actions.
That would be better now we are using GHA in other repos.