diff options
| author |  Mark <[email protected]> | 2020-06-19 15:09:55 -0700 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2020-06-19 15:09:55 -0700 |
| commit | 6ee117a5bb4130d5aec6cc366455afa24ae0cbbf (patch) | |
| tree | 6130a1a1db766bf6bc881441516ca8e005bb1447 | |
| parent | Merge pull request #1003 from python-discord/bug/filters/bot-58/removers-igno... (diff) | |
| parent | Pipenv: add script for html coverage report (diff) | |
Merge pull request #1015 from python-discord/kwzrd/pipenv-html-script
Add Pipenv script for html coverage report
| -rw-r--r-- | Pipfile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -50,4 +50,5 @@ precommit = "pre-commit install" build = "docker build -t pythondiscord/bot:latest -f Dockerfile ." push = "docker push pythondiscord/bot:latest" test = "coverage run -m unittest" +html = "coverage html" report = "coverage report" |