diff options
author | 2019-09-20 19:47:35 -0700 | |
---|---|---|
committer | 2019-09-20 20:12:44 -0700 | |
commit | 221a6496908396460364e72cd167d19df01c29be (patch) | |
tree | cf47247c060ec81a402bbdcb343fd5b0da1a8675 /Pipfile | |
parent | CI: publish test results even if a task fails (diff) |
CI: minor refactoring
* Rename some tasks
* Simplify python commands by removing python3 -m
* Break up some long lines
Diffstat (limited to 'Pipfile')
0 files changed, 0 insertions, 0 deletions