diff --git a/.github/workflows/install-mono.sh b/.github/workflows/install-mono.sh old mode 100644 new mode 100755