Closed this issue a year ago · 0 comments
@agl just moved us off of Travis.
It should be fairly easy to switch to GitHub Actions. I might have time for this at some point, but it would probably be a fairly straightforward job for someone who wants to try diving into this project!