The library CI build service should be migrated to GitHub Actions now that Travis CI is not free anymore.