From 312364c3c44c82f1d80b4030d03265caf95b4f15 Mon Sep 17 00:00:00 2001 From: Salvatore Giordano Date: Thu, 17 Jun 2021 18:43:43 +0200 Subject: [PATCH] fix permission --- .github/workflows/scripts/remove-from_coverage.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 .github/workflows/scripts/remove-from_coverage.sh diff --git a/.github/workflows/scripts/remove-from_coverage.sh b/.github/workflows/scripts/remove-from_coverage.sh old mode 100644 new mode 100755