tree 8065dd6a5ae8698e7045f73a54b2f72f07004205
parent 62346d228b238158adb93bc2d75da34eb6100732
author Johnathan Van Why <jrvanwhy@google.com> 1596518779 -0700
committer Johnathan Van Why <jrvanwhy@google.com> 1596573451 -0700

Add a Continuous Integration GitHub Action.

Like the existing Travis CI, this will run `make test` on each new PR. The main tock repository has already switched from Travis to GitHub Actions for better performance and support. Travis currently takes 30 minutes for each PR, and based on my testing this action only takes 13-16 minutes. This will help PR authors recognize and fix issues faster.

I plan to run this action concurrently with Travis for a short time to verify it is working, switch bors over to checking this action rather than Travis, then remove the Travis config.