Research the migration from TravisCI to GitHub Actions

[acs]

I am not sure about the impact of this migration:

«Please be aware travis-ci.org will be shutting down in several weeks, with all accounts migrating to travis-ci.com. Please stay tuned here for more information.»

Maybe we should migrate to GitHub Actions. Let's analyze it.

[acs]

GitHub Actions has limits so maybe it is not a good idea.