David Lechner
|
199fc120ca
|
github: remove private token
We should no longer need this since @pybricks packages are now public
|
2020-06-15 11:51:49 -05:00 |
|
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 |
|