Skip to content

Commit

Permalink
add command 'make build' to generatign coverage report
Browse files Browse the repository at this point in the history
  • Loading branch information
jdinovi committed Dec 21, 2023
1 parent 92d33c8 commit 90c00dc
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/coverage.yml
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,7 @@ jobs:
- name: Generate Coverage
run: |
make build
COVERAGE=$(make coverage | grep 'TOTAL COVERAGE' | grep -Eo '[0-9]+')
if [ "$COVERAGE" -gt 89 ]; then
Expand Down

0 comments on commit 90c00dc

Please sign in to comment.