diff --git a/ci/run_ci.py b/ci/run_ci.py old mode 100644 new mode 100755