Badge dir

This commit is contained in:
Toby Jaffey 2025-12-14 02:51:12 +00:00
parent 12144b3290
commit c1006cc9a8
2 changed files with 4 additions and 3 deletions

View file

@ -57,8 +57,8 @@ jobs:
- name: Upload Artifact - name: Upload Artifact
uses: actions/upload-pages-artifact@v3 uses: actions/upload-pages-artifact@v3
with: with:
path: uvm32/test/badge.svg path: uvm32/test/badge
name: badge.svg name: badge
- name: Deploy to GitHub Pages - name: Deploy to GitHub Pages
id: deployment id: deployment
uses: actions/deploy-pages@v4 uses: actions/deploy-pages@v4

View file

@ -24,7 +24,8 @@ all:
ci: ci:
@${GCOVRCMD} @${GCOVRCMD}
curl "https://img.shields.io/badge/Code%20Coverage-${PERC}25-success?style=flat" > badge.svg mkdir -p badge
curl "https://img.shields.io/badge/Code%20Coverage-${PERC}25-success?style=flat" > badge/badge.svg
clean: clean:
${CLEANCMD} true ${CLEANCMD} true