change push to pull_request type edited

networkx · Nov 30, 2023 · 0c6d727 · 0c6d727
1 parent 6bfea96
commit 0c6d727
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/label-check.yml b/.github/workflows/label-check.yml
@@ -4,9 +4,9 @@ on:
   pull_request:
     types:
       - opened
+      - edited
       - labeled
       - unlabeled
-  push:
 
 env:
   LABELS: ${{ join( github.event.pull_request.labels.*.name, ' ' ) }}