fix: don't run trigger on schedule; set pipeline name

eic · Jul 25, 2024 · 02d50c0 · 02d50c0
1 parent e25876a
commit 02d50c0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/linux-eic-shell.yml b/.github/workflows/linux-eic-shell.yml
@@ -36,7 +36,7 @@ jobs:
 
   trigger-container:
     runs-on: ubuntu-latest
-    if: ${{ github.event_name != 'merge_group' && github.actor != 'dependabot[bot]' }}
+    if: ${{ github.event_name != 'merge_group' && github.event_name != 'schedule' && github.actor != 'dependabot[bot]' }}
     needs:
     - build-test
     steps:
@@ -52,6 +52,7 @@ jobs:
           GITHUB_SHA=${{ github.event.pull_request.head.sha || github.sha }}
           GITHUB_PR=${{ github.event.pull_request.number }}
           EDM4EIC_VERSION="${{ github.event.pull_request.head.ref || github.ref_name }}"
+          PIPELINE_NAME=${{ github.repository }}: ${{ github.event.pull_request.title || github.ref_name }}
     - run: |
         gh api \
            --method POST \