Puting a label should start the workflow

dedis · Nov 8, 2022 · c0941c4 · c0941c4
1 parent 67b944d
commit c0941c4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/go_tests.yml b/.github/workflows/go_tests.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches: [ master ]
   pull_request_target:
-    types: [opened, synchronize, reopened]
+    types: [opened, synchronize, reopened, labeled]
 
 jobs:
   permission: