This commit is contained in:
2026-06-18 21:07:22 +02:00
parent b4efad6d6e
commit ac622e6e14
+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 .