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