diff options
| author | Erik Johnston <erik@matrix.org> | 2020-08-11 22:32:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-11 22:32:14 +0100 |
| commit | 6ba621d78657bab1c17f6f612dd43a64cfb8921e (patch) | |
| tree | 5f30e655165f4b2a5e2e35fce739de0155e0de2f /tox.ini | |
| parent | Convert tags and metrics databases to async/await (#8062) (diff) | |
| parent | Merge remote-tracking branch 'origin/develop' into erikj/type_server (diff) | |
| download | synapse-6ba621d78657bab1c17f6f612dd43a64cfb8921e.tar.xz | |
Merge pull request #8060 from matrix-org/erikj/type_server
Change HomeServer definition to work with typing.
Diffstat (limited to '')
| -rw-r--r-- | tox.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tox.ini b/tox.ini index 54f28990ce..217590edef 100644 --- a/tox.ini +++ b/tox.ini @@ -203,6 +203,7 @@ commands = mypy \ synapse/push/push_rule_evaluator.py \ synapse/replication \ synapse/rest \ + synapse/server.py \ synapse/server_notices \ synapse/spam_checker_api \ synapse/storage/databases/main/ui_auth.py \ |