From 13d39949ad69fba675ea9f7c2c39092411b223d5 Mon Sep 17 00:00:00 2001 From: Michael Reiche <48999328+mikereiche@users.noreply.github.com> Date: Thu, 3 Oct 2024 15:02:58 -0700 Subject: [PATCH] Fix ci/clean.sh permission denied. (#1974) Closes #1973. --- ci/clean.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/ci/clean.sh b/ci/clean.sh index 7ac174b7..317d9f22 100755 --- a/ci/clean.sh +++ b/ci/clean.sh @@ -1,6 +1,7 @@ #!/bin/bash -x set -euo pipefail +chown -R 1001:1001 . export JENKINS_USER=${JENKINS_USER_NAME}