Thanks! That was the final push I honestly needed. Now I've migrated my remaining 10+ Travis-CI builds to a different CI-provider (GitHub Actions). It feels l

Thanks! That was the final push I honestly needed. Now I've migrated my remaining 10+ Travis-CI builds to a different CI-provider (GitHub Actions). It feels like a solid upgrade.