Trwying changing the permission

runtimeverification · Sep 21, 2023 · 345593d · 345593d
1 parent 1644132
commit 345593d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
@@ -55,7 +55,8 @@ jobs:
           BENCHER_ADAPTER: json
         run: |
           set -euxo pipefail
-          docker run --name k-posting-profiling-tests-${GITHUB_SHA}                                   \
+          chown root:root /opt/workspace
+          docker run --name k-posting-profiling-tests-${GITHUB_SHA}            \
             --rm -it --detach                                                  \
             -e BENCHER_API_TOKEN=$BENCHER_API_TOKEN                            \
             -e BENCHER_PROJECT=$BENCHER_PROJECT                                \