diff --git a/run-ci.sh b/run-ci.sh old mode 100644 new mode 100755