diff --git a/util/GHA-delete-GNU-workflow-logs.sh b/util/GHA-delete-GNU-workflow-logs.sh
old mode 100644
new mode 100755
diff --git a/util/build-code_coverage.sh b/util/build-code_coverage.sh
old mode 100644
new mode 100755
diff --git a/util/compare_gnu_result.py b/util/compare_gnu_result.py
old mode 100644
new mode 100755
diff --git a/util/publish.sh b/util/publish.sh
old mode 100644
new mode 100755
diff --git a/util/run-gnu-test.sh b/util/run-gnu-test.sh
old mode 100644
new mode 100755
diff --git a/util/show-code_coverage.sh b/util/show-code_coverage.sh
old mode 100644
new mode 100755
diff --git a/util/update-version.sh b/util/update-version.sh
old mode 100644
new mode 100755