From 61dfdbc676b1871ef0a75818388e98c466c81d7d Mon Sep 17 00:00:00 2001 From: Sven Augustin Date: Thu, 18 Jun 2026 21:10:08 +0200 Subject: [PATCH] test --- autodeploy/setup.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh index e93a1b3..780fdfc 100755 --- a/autodeploy/setup.sh +++ b/autodeploy/setup.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -euo pipefail +#set -euo pipefail echo "Workspace: $GITHUB_WORKSPACE" @@ -47,7 +47,7 @@ echo "pixi install" echo "copy owner group from level above" group=$(stat -c '%g' ..) echo "=> group ID: $group" -chgrp -R "$group" . || true +chgrp -R "$group" . echo "copy permissions from owner to owner group" chmod -R g=u .