anonymousland-synapse/changelog.d/12576.misc
David Robertson 57fac2a234
Allow unused ignores in "bleeding edge" CI (#12576)
* Allow unused ignores in "bleeding edge" CI

Where "bleeding edge" means the Twisted Trunk and Latest Deps jobs.

Follow up from #12531.
Resolves #12574.

* Use `--extras all` in latest deps mypy CI

Twisted trunk job already does this.

Missed in #12531.

* changelog
2022-04-29 17:57:23 +01:00

2 lines
64 B
Plaintext

Allow unused `#type: ignore` comments in bleeding edge CI jobs.