diff options
| author | David Robertson <davidr@element.io> | 2022-04-28 11:29:13 +0100 |
|---|---|---|
| committer | David Robertson <davidr@element.io> | 2022-04-28 11:29:13 +0100 |
| commit | f282d5fc1185dde3f9ec31c49b630cff962545d7 (patch) | |
| tree | 6f0d86e46206ca60a70e7f3d8dee66511ac0a012 /.gitignore | |
| parent | Allow unused ignores in "bleeding edge" CI (diff) | |
| download | synapse-f282d5fc1185dde3f9ec31c49b630cff962545d7.tar.xz | |
Use `--extras all` in latest deps mypy CI
Twisted trunk job already does this. Missed in #12531.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions