Fixing argument to use env variable

runtimeverification · Sep 21, 2023 · e9059d3 · e9059d3
1 parent 8425ea0
commit e9059d3
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
@@ -55,6 +55,7 @@ jobs:
           BENCHER_ADAPTER: json
         run: |
           set -euxo pipefail
+          COMMIT_SHA=$(git log --format="%H" -n 1)
           docker run --name k-posting-profiling-tests-${GITHUB_SHA}            \
             --rm -it --detach                                                  \
             -e BENCHER_API_TOKEN=$BENCHER_API_TOKEN                            \
@@ -67,6 +68,7 @@ jobs:
             -e GITHUB_EVENT_NAME=$GITHUB_EVENT_NAME                            \
             -e GITHUB_REPOSITORY=$GITHUB_REPOSITORY                            \
             -e GITHUB_REF=$GITHUB_REF                                          \
+            -e GITHUB_SHA=$GITHUB_SHA                                          \
             --workdir /opt/workspace                                           \
             ${BASE_OS}:${BASE_DISTRO}
       - name: 'Copy K Framework'
@@ -82,7 +84,7 @@ jobs:
       - name: 'Getting Performance Tests Results'
         run: |
           set -euxo pipefail
-          docker exec -t k-posting-profiling-tests-${GITHUB_SHA} /bin/bash -c './k-distribution/tests/profiling/post_results_to_develop.py $(git log --format="%H" -n 1)'
+          docker exec -t k-posting-profiling-tests-${GITHUB_SHA} /bin/bash -c './k-distribution/tests/profiling/post_results_to_develop.py ${COMMIT_SHA}'
       - name: 'Posting Performance Tests Results'
         run: |
           set -euxo pipefail