.github: Allow PR submit checks to be re-run by label

diff --git a/.github/workflows/PROpenedOrUpdated.yml b/.github/workflows/PROpenedOrUpdated.yml
index e75766a791f05b74ba89bd5a72ad287cde15c859..ad1de5ab29895a5f70a58fc0098db2c4bbaac16d 100644 (file)
--- a/.github/workflows/PROpenedOrUpdated.yml
+++ b/.github/workflows/PROpenedOrUpdated.yml
@@ -3,7 +3,7 @@ run-name: "PR ${{github.event.number}} ${{github.event.action}} by ${{ github.ac
 on:
 #  workflow_dispatch:
   pull_request_target:
-    types: [opened, reopened, synchronize]
+    types: [opened, reopened, synchronize, labelled]
 
 env:
   ASTERISK_REPO:     ${{github.repository}}
@@ -16,6 +16,7 @@ env:
 jobs:
 
   PROpenUpdateUnitTests:
+    if: ${{ github.event.action != 'labelled' || github.event.label.name == vars.RECHECK_LABEL }}
     runs-on: ubuntu-latest
     steps:
       - name: Get Token needed to add reviewers