.github: add ci:main tag to self trigger

This trigger runs the "main" workflow if the github tag ci:main is
specified in the PR.

Fixes: #1115

Signed-off-by: Richard Alpe <[email protected]>

Author: rical

.github/workflows/trigger.yml

@@ -16,15 +16,17 @@ jobs:
     with:
       target: "x86_64"
       name: "infix"
-      flavor: "_minimal"
+      flavor: ${{ (github.event_name == 'pull_request' && contains(github.event.pull_request.labels.*.name, 'ci:main'))
+        && fromJSON('null') || '_minimal' }}
 
   build-aarch64:
     if: startsWith(github.repository, 'kernelkit/')
     uses: ./.github/workflows/build.yml
     with:
       target: "aarch64"
       name: "infix"
-      flavor: "_minimal"
+      flavor: ${{ (github.event_name == 'pull_request' && contains(github.event.pull_request.labels.*.name, 'ci:main'))
+        && fromJSON('null') || '_minimal' }}
 
   test-run-x86_64:
     if: startsWith(github.repository, 'kernelkit/')