diff --git a/changelog.d/12576.misc b/changelog.d/12576.misc
new file mode 100644
index 000000000..71022c863
--- /dev/null
+++ b/changelog.d/12576.misc
@@ -0,0 +1 @@
+Allow unused `#type: ignore` comments in bleeding edge CI jobs.