add workflow for coverage

micha37-martins · Aug 22, 2024 · 203cd25 · 203cd25
1 parent edf0630
commit 203cd25
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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"