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