fix

Author: marcoieni

src/ci/run.sh

@@ -23,7 +23,7 @@ if [ "$NO_CHANGE_USER" = "" ]; then
     unset LOCAL_USER_ID
 
     # Give ownership of the current directory to the user
-    chown -R user .
+    chown -R $LOCAL_USER_ID:$LOCAL_USER_ID .
 
     # Ensure that runners are able to execute git commands in the worktree,
     # overriding the typical git protections. In our docker container we're running