linux-eic-shell.yml: trigger eicweb with PR merge sha instead of HEAD (…

…#751)
eic · Jul 2, 2024 · e65f984 · e65f984
1 parent c899ff9
commit e65f984
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/linux-eic-shell.yml b/.github/workflows/linux-eic-shell.yml
@@ -140,7 +140,7 @@ jobs:
           DETECTOR_REPOSITORYURL=${{ github.server_url }}/${{ github.repository }}
           DETECTOR_REPOSITORYREF=${{ github.ref }}
           DETECTOR_CONFIG=${{ needs.list-detector-configs.outputs.configs_csv }}
-          DETECTOR_VERSION=${{ github.event.pull_request.head.ref || github.ref_name }}
+          DETECTOR_VERSION=${{ github.sha }}
           GITHUB_REPOSITORY=${{ github.repository }}
           GITHUB_SHA=${{ github.event.pull_request.head.sha || github.sha }}
           GITHUB_PR=${{ github.event.pull_request.number }}
@@ -545,11 +545,11 @@ jobs:
         variables: |
           DETECTOR=epic
           DETECTOR_REPOSITORYURL=${{ github.server_url }}/${{ github.repository }}
-          DETECTOR_VERSION=${{ github.event.pull_request.head.ref || github.ref_name }}
+          DETECTOR_VERSION=${{ github.sha }}
           DETECTOR_CONFIG=${{ matrix.detector_config }}
           GITHUB_REPOSITORY=${{ github.repository }}
           GITHUB_SHA=${{ github.event.pull_request.head.sha || github.sha }}
-          PIPELINE_NAME=${{ github.event.pull_request.title || github.sha }}
+          PIPELINE_NAME=${{ github.event.pull_request.title || github.ref_name }}
     - run: |
         gh api \
            --method POST \