Merge #228
228: Add a Continuous Integration GitHub Action. r=ppannuto a=jrvanwhy
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 over 30 minutes for each PR, and based on my testing this action usually 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.
Co-authored-by: Johnathan Van Why <jrvanwhy@google.com>
