mirror of
https://github.com/element-hq/synapse
synced 2024-07-08 19:54:07 +00:00
57fac2a234
* 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
2 lines
64 B
Plaintext
2 lines
64 B
Plaintext
Allow unused `#type: ignore` comments in bleeding edge CI jobs.
|