Attempt to add coverage badge

This commit is contained in:
Toby Jaffey 2025-12-13 20:02:21 +00:00
parent 6434f0b0cb
commit 6a2bfceabc
2 changed files with 9 additions and 0 deletions

View file

@ -28,4 +28,11 @@ jobs:
indicators: true
output: both
thresholds: '60 80'
- name: Make Coverage Badge
uses: action-badges/cobertura-coverage-xml-badges@0.4.0
with:
file-name: coverage.svg
badge-branch: badges
github-token: '${{ secrets.GITHUB_TOKEN }}'
coverage-file-name: uvm32/test/coverage.xml