This commit is contained in:
2026-06-18 21:04:29 +02:00
parent 4b0c3cf145
commit b4efad6d6e
+4 -4
View File
@@ -44,10 +44,10 @@ fi
echo "pixi install"
"$GITHUB_WORKSPACE/pixi" install --all --no-progress
echo "copy owner group from level above"
group=$(stat -c '%g' ..)
echo "=> group ID: $group"
chgrp -R "$group" .
#echo "copy owner group from level above"
#group=$(stat -c '%g' ..)
#echo "=> group ID: $group"
#chgrp -R "$group" .
echo "copy permissions from owner to owner group"
chmod -R g=u .