Skip to content

Commit

Permalink
Merge pull request #621 from flairNLP/color-range-for-coverage
Browse files Browse the repository at this point in the history
Use wider color range for publisher coverage
  • Loading branch information
MaxDall authored Sep 30, 2024
2 parents cf5b17f + e1bad63 commit f255604
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions .github/workflows/publisher_coverage.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -63,9 +63,10 @@ jobs:
echo "TOTAL_PUBLISHERS=$(echo ${{ env.SUCCESS_RATE }} | grep -P -o '\d+' | tail -1)" >> $GITHUB_ENV
echo "PASSED_PUBLISHERS=$(echo ${{ env.SUCCESS_RATE }} | grep -P -o '\d+' | head -1)" >> $GITHUB_ENV
- name: Get Red Threshold
# We set the badge colour to red when at least one publisher failed the tests.
run: echo "RED_THRESHOLD=$(( ${{ env.TOTAL_PUBLISHERS }} - 1 ))" >> $GITHUB_ENV
- name: Get Thresholds
# We set the badge colour to red when at least half of the publishers failed the tests.
run: |
echo "RED_THRESHOLD=$(( ${{ env.TOTAL_PUBLISHERS }} / 2 ))" >> $GITHUB_ENV
- name: Create Badge
uses: schneegans/[email protected]
Expand Down

0 comments on commit f255604

Please sign in to comment.