After having issues with Travis CI, I think that instead of fixing those issues a migration towards Github actions seems more logical.