test

2026-06-18 21:10:08 +02:00
parent c611586ff3
commit 61dfdbc676
1 changed files with 2 additions and 2 deletions
@@ -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 .