mirror of
https://github.com/element-hq/synapse.git
synced 2024-11-26 19:47:05 +03: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
1 line
64 B
Text
1 line
64 B
Text
Allow unused `#type: ignore` comments in bleeding edge CI jobs.
|