chore: fix labels-from-status (#1124)

leanprover-community · Feb 6, 2025 · 38b1e7c · 38b1e7c
1 parent 3766e23
commit 38b1e7c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/labels-from-status.yml b/.github/workflows/labels-from-status.yml
@@ -10,7 +10,7 @@ permissions:
   pull-requests: write
 
 on:
-  pull_request:
+  pull_request_target:
     types:
       - closed
       - opened