From 6684620932ed2a1b2f86b79e5e07a13a41c95b14 Mon Sep 17 00:00:00 2001 From: Francisco Diaz Date: Mon, 5 Jun 2023 12:35:58 +0200 Subject: [PATCH] Add execution permission to the extract_parameters script (#160) --- .github/scripts/extract_parameters.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 .github/scripts/extract_parameters.sh diff --git a/.github/scripts/extract_parameters.sh b/.github/scripts/extract_parameters.sh old mode 100644 new mode 100755