tree 8065dd6a5ae8698e7045f73a54b2f72f07004205
parent 62346d228b238158adb93bc2d75da34eb6100732
parent f46a238e6e278513920d8d30f06248402d464b76
author bors[bot] <26634292+bors[bot]@users.noreply.github.com> 1596628874 +0000
committer GitHub <noreply@github.com> 1596628874 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfKp+KCRBK7hj4Ov3rIwAAdHIIAIQFjvxH7Q82M3YsjFGZLN31
 7+jGVbDP77x3ZifKfKfKrnEpNTSLqqjuuQZuJ9RO5ADbknm+rkfK1C8OHuQx5eil
 zH/+Xtum/9Tq+BVj9pi5+dzBLcMtC4Cf6eMADuCNtC4uam1J+TGJTeKrtdrnJ4Am
 TBKZPe/6mFYZlEhc86r7TkIb43NcQ5p5EMznW+JFhnamSLIKC8osovYMs125Oby4
 iLQbA8hWdDITfNndjKeLCVBvs0uFNHJFbFw4vlePT/f/4GfKs2a9NGdydnxP56tN
 OB/t7JSXjsNasMdFsdQpeok5bmbjmN/Qr3rds0Up0q8jl+9SkrrX8xA65GTwob4=
 =4s97
 -----END PGP SIGNATURE-----
 

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>