Try to silence a zizmor warning (#8078)

This commit is contained in:
Chandler Carruth authored and GitHub committed 2026-11-03 16:47:54 +00:00
1 parent 9fb428d713
commit 5af3b7c47a
1 file changed
+1
+1
View File
@@ -4,6 +4,7 @@
name: 'Auto label PRs'
on:
# zizmor: ignore[dangerous-triggers] - {necessary to mutate the PR}
pull_request_target:
types: [opened, ready_for_review]