From 706b35f5010b389b79b5e8c67872706d7089c97f Mon Sep 17 00:00:00 2001 From: tveten Date: Mon, 4 Dec 2023 13:09:37 +0100 Subject: [PATCH] Give permissions to script from github action --- build_tools/fail_on_missing_init_files.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 build_tools/fail_on_missing_init_files.sh diff --git a/build_tools/fail_on_missing_init_files.sh b/build_tools/fail_on_missing_init_files.sh old mode 100644 new mode 100755