This repository was archived by the owner on Jul 12, 2025. It is now read-only.
This repository was archived by the owner on Jul 12, 2025. It is now read-only.
Migrate to GitHub Actions #870
Description
Travis has become somewhat slow & unstable in recent years. Although it doesn't affect us yet, I'd like to migrate our current CI to GitHub Actions for a more promising feature development and the community actions support.