You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: .github/workflows/coverage.yml
+8-8Lines changed: 8 additions & 8 deletions
Original file line number
Diff line number
Diff line change
@@ -46,14 +46,6 @@ jobs:
46
46
done
47
47
sed "s/{shortcommit}/${GITHUB_SHA:0:8}/g;s/{commit}/${GITHUB_SHA}/g;s#{repo}#${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}#g" .github/workflows/coverage/index.html.template > build/gh-pages/index.html
48
48
49
-
- name: Create coverage badge
50
-
# This creates a file that defines a [Shields.io endpoint badge](https://shields.io/endpoint)
51
-
# which we can then include in the project README.
52
-
uses: ./.github/actions/pit-results-badge
53
-
if: github.ref_name == 'main'
54
-
with:
55
-
output-file: build/gh-pages/coverage-badge.json
56
-
57
49
- name: Check out GitHub Pages branch
58
50
uses: actions/checkout@v4
59
51
with:
@@ -71,6 +63,14 @@ jobs:
71
63
prev-commit: ${{ env.PREV_COMMIT }}
72
64
prev-mutations-file: prev-mutations.xml
73
65
66
+
- name: Create coverage badge
67
+
# This creates a file that defines a [Shields.io endpoint badge](https://shields.io/endpoint)
68
+
# which we can then include in the project README.
0 commit comments