Fix user chown

runtimeverification · Oct 4, 2023 · 0f88bd4 · 0f88bd4
1 parent ad9eea1
commit 0f88bd4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/actions/with-docker/action.yml b/.github/actions/with-docker/action.yml
@@ -30,4 +30,4 @@ runs:
 
       # Copy the current Checkout direcotry into the container
       docker cp . ${CONTAINER_NAME}:/home/ubuntu/workspace
-      docker exec ${CONTAINER_NAME} chown -R ubuntu:ubuntu /home/user
+      docker exec ${CONTAINER_NAME} chown -R ubuntu:ubuntu /home/ubuntu
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -45,5 +45,5 @@ jobs:
       - name: 'Test New Tool Versions'
         run: |
           # Run the following in the running docker container
-          docker exec -u ubuntu ${{ env.repository_basename }}-ci bash -c 'ls -l /home/ubuntu'
+          docker exec -u ubuntu ${{ env.repository_basename }}-ci bash -c 'ls -l /home/ubuntu/workspace'
           docker exec -u ubuntu ${{ env.repository_basename }}-ci bash -c './test/run-kevm.sh'