From 2939476852d4284690c7843cd63a2f9461844974 Mon Sep 17 00:00:00 2001 From: Andy Wilkinson Date: Fri, 31 Jul 2020 12:18:07 +0100 Subject: [PATCH] Allow build-pr-project.sh to be executed See gh-22645 --- ci/scripts/build-pr-project.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 ci/scripts/build-pr-project.sh diff --git a/ci/scripts/build-pr-project.sh b/ci/scripts/build-pr-project.sh old mode 100644 new mode 100755