missed revert user to 'user'

runtimeverification · Oct 6, 2023 · 0e93fd8 · 0e93fd8
1 parent 40f433e
commit 0e93fd8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -43,7 +43,7 @@ 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 './test/run-kevm.sh'
+          docker exec -u user ${{ env.repository_basename }}-ci bash -c './test/run-kevm.sh'
 
       - name: 'Stop Docker Container'
         if: always()