diff options
| author | 2020-07-20 17:15:36 +0200 | |
|---|---|---|
| committer | 2020-07-20 17:15:36 +0200 | |
| commit | a8fccae048dec79a591f561b47c4ede9994e033c (patch) | |
| tree | f0504a266bb58ef0a3c309b782fdfc8459cf3656 /Pipfile | |
| parent | Source: Split to multiple lines to fix too long line on error raising (diff) | |
| parent | Merge pull request #993 from python-discord/kwzrd/incidents (diff) | |
Merge branch 'master' into source-command
Diffstat (limited to 'Pipfile')
| -rw-r--r-- | Pipfile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -12,7 +12,7 @@ beautifulsoup4 = "~=4.9" colorama = {version = "~=0.4.3",sys_platform = "== 'win32'"} coloredlogs = "~=14.0" deepdiff = "~=4.0" -discord.py = "~=1.3.2" +discord-py = {git = "https://github.com/Rapptz/discord.py.git",ref = "0bc15fa130b8f01fe2d67446a2184d474b0d0ba7"} fakeredis = "~=1.4" feedparser = "~=5.2" fuzzywuzzy = "~=0.17" @@ -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" |