David Lechner 90817a1ae7 github: add CI for pull requests ...

and hacks to get tests working

2020-05-20 14:52:45 -05:00

..

build-dev.yml

github: build and publish master branch

2020-05-04 16:32:47 -05:00

test-pull-request.yml

github: add CI for pull requests

2020-05-20 14:52:45 -05:00