Request: Hook up Travis CI to GitHub for PR status
joshgoebel opened this issue · comments
I don't see any CI on pull requests... if we're still using Travis.ci (or something else) could it be hooked into GitHub so that PRs always have CI running on them? And if we're not I've been very happy with GitHub Actions for Highlight.js.