diff options
| author | David Robertson <davidr@element.io> | 2022-03-03 17:14:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-03 17:14:09 +0000 |
| commit | 9297d040a72b70c7cc0ec15319afdd99b01ba885 (patch) | |
| tree | aa69f6cc26a7b3c4ddf600a4631765256c9f7b5c /.github | |
| parent | Add type hints to `tests/rest` (#12146) (diff) | |
| download | synapse-9297d040a72b70c7cc0ec15319afdd99b01ba885.tar.xz | |
Detox, part 2 of N (#12152)
I've argued in #11537 that poetry and tox don't cooperate well at the moment. (See also #12119.) Therefore I'm pruning away bits of tox to make the transition to poetry easier. This change removes the commands for coverage. We don't use coverage in anger at the moment. It shouldn't be too hard to add coverage as a dev-dependency and reintroduce this if we really want it.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions