[CI] Assign execution permissions to Linux .sh files

pull/541/head
David Cernat 5 years ago
parent 7edfca06cf
commit 7de1a3d016
Loading…
Cancel
Save