diff --git a/ci/clean.sh b/ci/clean.sh index 317d9f223..7ac174b7a 100755 --- a/ci/clean.sh +++ b/ci/clean.sh @@ -1,7 +1,6 @@ #!/bin/bash -x set -euo pipefail -chown -R 1001:1001 . export JENKINS_USER=${JENKINS_USER_NAME}