You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Consider migrating our CI system from Travis to GitHub Actions. Anecdotally the Travis queue seems to be getting slower. Also, our CI process is pretty lightweight (running tests and code style checker) and it would nice to have faster feedback on pull requests.
Activity
shinchris commentedon Feb 19, 2021
Moved to GitHub Actions with #798.