diff options
| author | David Robertson <davidr@element.io> | 2022-04-29 17:57:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-29 17:57:23 +0100 |
| commit | 57fac2a2347e0b386385868cdd1ae435364062b5 (patch) | |
| tree | c8bdc86b8e3dd837e10310e030d8cd40ecb0efc3 /changelog.d | |
| parent | Improve the docstrings for the receipts store. (#12581) (diff) | |
| download | synapse-57fac2a2347e0b386385868cdd1ae435364062b5.tar.xz | |
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
Diffstat (limited to 'changelog.d')
| -rw-r--r-- | changelog.d/12576.misc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changelog.d/12576.misc b/changelog.d/12576.misc new file mode 100644 index 0000000000..71022c8633 --- /dev/null +++ b/changelog.d/12576.misc @@ -0,0 +1 @@ +Allow unused `#type: ignore` comments in bleeding edge CI jobs. |