diff options
author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2020-12-17 22:58:00 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-17 22:58:00 +0000 |
commit | f1db20b5a5c403bb6a72026b2478b0ff6ee3aaee (patch) | |
tree | c76ed76bc16ac404cca1ba7e9c40407a3050120e /changelog.d/8963.misc | |
parent | Fix `UsersListTestCase` (#8964) (diff) | |
download | synapse-f1db20b5a5c403bb6a72026b2478b0ff6ee3aaee.tar.xz |
Clean up tox.ini (#8963)
... and disable coverage tracking for mypy and friends.
Diffstat (limited to '')
-rw-r--r-- | changelog.d/8963.misc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changelog.d/8963.misc b/changelog.d/8963.misc new file mode 100644 index 0000000000..495d89e8ee --- /dev/null +++ b/changelog.d/8963.misc @@ -0,0 +1 @@ +Clean up tox.ini file; disable coverage checking for non-test runs. |