Closed ataffanel closed 3 years ago
We have decided to move from Travis to GitHub actions for CI. The CI configuration needs to be converted.
We have decided to move from Travis to GitHub actions for CI. The CI configuration needs to be converted.