1 files changed, 1 insertions, 0 deletions

diff --git a/changelog.d/13827.misc b/changelog.d/13827.misc
new file mode 100644

index 0000000000..c7936b7ac8
--- /dev/null
+++ b/changelog.d/13827.misc
@@ -0,0 +1 @@
+Minor speedups to linting in CI.