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