diff options
author | 2019-06-12 13:54:08 -0700 | |
---|---|---|
committer | 2019-06-22 13:36:38 -0700 | |
commit | 61a0c7552db8048ab7a6b38aaaa9226506bcfb26 (patch) | |
tree | 79e758d382e3d479aa98897078cb770f1a58e42b /scripts/dev.sh | |
parent | Create shell script for building a dev image and running a shell (diff) |
Use dev.sh script for running tests and coverage
* Use unittest and directly use coverage.py instead of pytest
Diffstat (limited to 'scripts/dev.sh')
0 files changed, 0 insertions, 0 deletions