Allow running integration tests with an "integration" label (#191)

Author: agriyakhetarpal

.github/workflows/main.yml

@@ -5,6 +5,7 @@ on:
     branches:
       - main
   pull_request:
+    types: [opened, synchronize, reopened, labeled]
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
@@ -82,10 +83,13 @@ jobs:
 
           COMMIT_MSG=$(git log --no-merges -1 --oneline)
 
-          # The integration tests will be triggered on push or on pull_request when the commit
-          # message contains "[integration]" or if it is pushed to main branch.
+          # The integration tests will be triggered on push or on pull_request, when:
+          # the commit message contains "[integration]", or
+          # if it is pushed to main branch, or
+          # if the PR has the "integration" label.
           if [[ "$GITHUB_EVENT_NAME" == push && "$GITHUB_REF" == refs/heads/main ||
-                "$COMMIT_MSG" =~ \[integration\] ]]; then
+                "$COMMIT_MSG" =~ \[integration\] ||
+                "${{ contains(github.event.pull_request.labels.*.name, 'integration') }}" == "true" ]]; then
               echo "trigger=true" >> "$GITHUB_OUTPUT"
           fi