Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
.github/workflows: Disable checking of executable bit on shell scripts
Some shell scripts may just be included (`source`) in other shell scripts and don't require execution permission. Signed-off-by: Razvan Deaconescu <razvan.deaconescu@upb.ro>
- Loading branch information