Commit graph

4 commits

Author SHA1 Message Date
Jyri-Petteri Paloposki
2d4a3625c3 #2259: Try without the type limits for CI 2019-11-13 21:23:09 +02:00
Jyri-Petteri Paloposki
bc7404714c #2259: Perhaps just run the CI once 2019-11-13 21:04:30 +02:00
Matt Rogers
5d28482f3d
Do builds on push and pull request 2019-11-05 20:34:21 -06:00
Dan Rice
79ac907346 Migrate CI to GitHub Actions 2019-10-30 21:24:15 -04:00