diff --git a/.github/scripts/ci-check.sh b/.github/scripts/ci-check.sh old mode 100644 new mode 100755