summary refs log tree commit diff
path: root/changelog.d/12576.misc
blob: 71022c86337f1c05318014cc07a67f35baba02c2 (plain) (blame)
1
Allow unused `#type: ignore` comments in bleeding edge CI jobs.