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