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
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
46
48
47
-
- name: Create coverage badge
48
-
# This creates a file that defines a [Shields.io endpoint badge](https://shields.io/endpoint)
49
-
# which we can then include in the project README.
50
-
uses: ./.github/actions/pit-results-badge
51
-
with:
52
-
output-file: build/gh-pages/coverage-badge.json
53
-
54
49
- name: Check out GitHub Pages branch
55
50
uses: actions/checkout@v4
56
51
with:
@@ -68,7 +63,16 @@ jobs:
68
63
prev-commit: ${{ env.PREV_COMMIT }}
69
64
prev-mutations-file: prev-mutations.xml
70
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