Commit Graph
4 Commits
Author SHA1 Message Date
David Lechner 1a57031dd7 github: drop cache
this doesn't seem to speed things up much, so let's remove it for now
2020-05-20 16:58:50 -05:00
David Lechner 19d9d9c29f github: rename CI test job ID
This conflicts with the ID in build-dev.yml
2020-05-20 16:46:35 -05:00
David Lechner 0171255be9 fix lint error 2020-05-20 16:30:39 -05:00
David Lechner 90817a1ae7 github: add CI for pull requests
and hacks to get tests working
2020-05-20 14:52:45 -05:00