diff options
| author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2020-03-19 11:00:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-19 10:00:24 +0000 |
| commit | 8c75667ad7810b4c05e40f7665e724a40aaf4d64 (patch) | |
| tree | 151260d3d74a739c2d658df8d651e73a0a6ff06d /tox.ini | |
| parent | Move pusherpool startup into _base.setup (#7104) (diff) | |
| download | synapse-8c75667ad7810b4c05e40f7665e724a40aaf4d64.tar.xz | |
Add prometheus metrics for the number of active pushers (#7103)
Diffstat (limited to '')
| -rw-r--r-- | tox.ini | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tox.ini b/tox.ini index 8b4c37c2ee..8e3f09e638 100644 --- a/tox.ini +++ b/tox.ini @@ -191,7 +191,9 @@ commands = mypy \ synapse/handlers/sync.py \ synapse/handlers/ui_auth \ synapse/logging/ \ + synapse/metrics \ synapse/module_api \ + synapse/push/pusherpool.py \ synapse/replication \ synapse/rest \ synapse/spam_checker_api \ |