From 203cd25816d62589007eaec3177eb578e6ae7e48 Mon Sep 17 00:00:00 2001
From: micha37-martins <michael-martins@t-online.de>
Date: Thu, 22 Aug 2024 15:53:03 +0200
Subject: [PATCH] add workflow for coverage

---
 .github/workflows/github-workflow.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/github-workflow.yaml b/.github/workflows/github-workflow.yaml
index bc5b023..0b337ec 100644
--- a/.github/workflows/github-workflow.yaml
+++ b/.github/workflows/github-workflow.yaml
@@ -47,6 +47,7 @@ jobs:
 
       - name: Generate coverage percentage
         id: coverage
+        shell: bash
         run: |
           coverage=$(grep -o 'Overall coverage rate.*' <path_to_coverage_report> | grep -o '[0-9]*\.[0-9]*')
           echo "::set-output name=coverage::$coverage"