summary refs log tree commit diff
diff options
context:
space:
mode:
authorDavid Robertson <davidr@element.io>2022-04-28 11:31:26 +0100
committerDavid Robertson <davidr@element.io>2022-04-28 11:31:26 +0100
commit5a320baa45b8e826e52bdd6cadadfad727ab0357 (patch)
tree4c4350efdf29424900fcb3711404be32f5b28ba9
parentUse `--extras all` in latest deps mypy CI (diff)
downloadsynapse-5a320baa45b8e826e52bdd6cadadfad727ab0357.tar.xz
changelog
-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.