Migrate CI to GitHub Actions
Opened this issue · 0 comments
traversaro commented
Travis CI has several limitation now a days, better to migrate to GitHub Actions: https://blog.travis-ci.com/2020-11-02-travis-ci-new-billing .
Opened this issue · 0 comments
Travis CI has several limitation now a days, better to migrate to GitHub Actions: https://blog.travis-ci.com/2020-11-02-travis-ci-new-billing .