From 69b0b86bc151c3497fe09ff359f6686feff72b46 Mon Sep 17 00:00:00 2001 From: Sahil Kumar Date: Fri, 18 Jun 2021 15:35:03 +0530 Subject: [PATCH] change remove-from_coverage.sh to remove-from-coverage.sh Signed-off-by: Sahil Kumar --- .../scripts/{remove-from_coverage.sh => remove-from-coverage.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/scripts/{remove-from_coverage.sh => remove-from-coverage.sh} (100%) mode change 100755 => 100644 diff --git a/.github/workflows/scripts/remove-from_coverage.sh b/.github/workflows/scripts/remove-from-coverage.sh old mode 100755 new mode 100644 similarity index 100% rename from .github/workflows/scripts/remove-from_coverage.sh rename to .github/workflows/scripts/remove-from-coverage.sh