summary refs log tree commit diff
path: root/changelog.d
diff options
context:
space:
mode:
authorDavid Robertson <davidr@element.io>2022-04-29 17:57:23 +0100
committerGitHub <noreply@github.com>2022-04-29 17:57:23 +0100
commit57fac2a2347e0b386385868cdd1ae435364062b5 (patch)
treec8bdc86b8e3dd837e10310e030d8cd40ecb0efc3 /changelog.d
parentImprove the docstrings for the receipts store. (#12581) (diff)
downloadsynapse-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.misc1
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.