Testing ${COMMIT_SHA} inside container

runtimeverification · Sep 21, 2023 · 5bcefe3 · 5bcefe3
1 parent ff21068
commit 5bcefe3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
@@ -84,7 +84,7 @@ jobs:
       - name: 'Getting Performance Tests Results'
         run: |
           set -euxo pipefail
-          echo ${COMMIT_SHA}
+          docker exec -t k-posting-profiling-tests-${GITHUB_SHA} /bin/bash -c 'echo ${COMMIT_SHA}'
           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: |