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