diff options
| author | Christian Moritz <chrmoritz@users.noreply.github.com> | 2019-10-05 16:45:35 +0200 |
|---|---|---|
| committer | Ryan Dahl <ry@tinyclouds.org> | 2019-10-05 10:45:35 -0400 |
| commit | 351d40e51cd5fc09c36df93da890d16587f29756 (patch) | |
| tree | 3c12b57cbe143f2513281ba6691ee19f2ba4cf8f /tools/util.py | |
| parent | 2a02107bba27685324e62bd099ccaaac9c3b08d5 (diff) | |
CI: don't build while linting and publish in forks (#3070)
Diffstat (limited to 'tools/util.py')
0 files changed, 0 insertions, 0 deletions