Executable rights for .sh scripts are lossed with copy #41
Description
Document that you need to set executable rights for the .sh files, and/or change that i the github action
{{ message }}
Document that you need to set executable rights for the .sh files, and/or change that i the github action