Executing docker with user

runtimeverification · Sep 21, 2023 · 6855fa0 · 6855fa0
1 parent 3c79ac6
commit 6855fa0
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
@@ -55,6 +55,8 @@ jobs:
           BENCHER_ADAPTER: json
         run: |
           set -euxo pipefail
+          USER=$(id -un)
+          GROUP=$(id -gn)
           docker run --name k-posting-profiling-tests-${GITHUB_SHA}                                   \
             --rm -it --detach                                                  \
             -e BENCHER_API_TOKEN=$BENCHER_API_TOKEN                            \
@@ -67,6 +69,7 @@ jobs:
             -e GITHUB_EVENT_NAME=$GITHUB_EVENT_NAME                            \
             -e GITHUB_REPOSITORY=$GITHUB_REPOSITORY                            \
             -e GITHUB_REF=$GITHUB_REF                                          \
+            --user ${USER}:${GROUP}                                            \
             --workdir /opt/workspace                                           \
             ${BASE_OS}:${BASE_DISTRO}
       - name: 'Copy K Framework'
@@ -82,7 +85,7 @@ jobs:
       - name: 'Getting Performance Tests Results'
         run: |
           set -euxo pipefail
-          docker exec -t k-posting-profiling-tests-${GITHUB_SHA} /bin/bash -c 'cd k-distribution/tests/profiling/ && python3 post_results_to_develop.py'
+          docker exec -t k-posting-profiling-tests-${GITHUB_SHA} /bin/bash -c 'python3 ./k-distribution/tests/profiling/post_results_to_develop.py'
       - name: 'Posting Performance Tests Results'
         run: |
           set -euxo pipefail