Slightly more verbose step name

UCL · Mar 20, 2024 · 78ce790 · 78ce790
1 parent 8e9808a
commit 78ce790
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/.github/workflows/run-profiling.yaml b/.github/workflows/run-profiling.yaml
@@ -36,11 +36,10 @@ jobs:
       profiling-output-dir: profiling_results/
       profiling-filename: ${{ steps.set-profiling-filename.outputs.name }}
       artifact-name: ${{ steps.set-artifact-name.outputs.name }}
-      profiling-on-sha: ${{ steps.sha.outputs.result }}
+      profiling-on-sha: ${{ steps.determine-correct-sha.outputs.result }}
       profiling-event-trigger: ${{ steps.set-github-info.outputs.event }}
     steps:
-      - name: Get SHA of last commit on default branch if issue or pull-request branch
-        id: sha
+      - id: determine-correct-sha
         uses: actions/github-script@v7
         with:
           result-encoding: string
@@ -58,7 +57,7 @@ jobs:
       - id: set-profiling-filename
         name: Set profiling output file name
         run: |
-          echo "name=${GITHUB_EVENT_NAME}_${GITHUB_RUN_NUMBER}_${{ steps.sha.outputs.result }}" >> "${GITHUB_OUTPUT}"
+          echo "name=${GITHUB_EVENT_NAME}_${GITHUB_RUN_NUMBER}_${{ steps.determine-correct-sha.outputs.result }}" >> "${GITHUB_OUTPUT}"
 
       - id: set-artifact-name
         name: Set artifact name
@@ -68,7 +67,7 @@ jobs:
       - id: set-github-info
         name: Fix Git and GitHub information when passing between workflows
         run: |
-          echo "sha=${{ steps.sha.outputs.result }}" >> "${GITHUB_OUTPUT}"
+          echo "sha=${{ steps.determine-correct-sha.outputs.result }}" >> "${GITHUB_OUTPUT}"
           echo "event=${GITHUB_EVENT_NAME}" >> "${GITHUB_OUTPUT}"
 
   profile-on-comment: