fix release automation: script was not chmod u+x (#593)

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