Update entrypoint.sh

coq-community · May 10, 2024 · df0df5b · df0df5b
1 parent 8327dd2
commit df0df5b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/entrypoint.sh b/entrypoint.sh
@@ -196,7 +196,7 @@ if test -z "$INPUT_CUSTOM_SCRIPT_EXPANDED"; then
 fi
 
 # set permissions for GitHub Actions runner command files
-chmod -R a=u "$DIR_GITHUB_RUNNER_FILE_COMMANDS"
+chmod -R a+rw "$DIR_GITHUB_RUNNER_FILE_COMMANDS"
 
 startGroup "Pull docker image"