diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2023-01-03 17:44:42 -0500 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2023-01-03 18:15:07 -0500 |
| commit | 85170bf147c93f88c9d1580de3eb53da01082f18 (patch) | |
| tree | 6c3fe0e52742a278bf2749f68851e0ea819d690a | |
| parent | 1605f07f9ab32a01debf5baffdba2831815c5919 (diff) | |
| download | python-coveragepy-git-85170bf147c93f88c9d1580de3eb53da01082f18.tar.gz | |
build: two-step combines for speed
| -rw-r--r-- | .github/workflows/coverage.yml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index cde01bd5..0721ddc0 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -95,6 +95,13 @@ jobs: set -xe python -m tox + - name: "Combine data" + env: + COVERAGE_RCFILE: "metacov.ini" + run: | + python -m coverage combine + mv .metacov .metacov.${{ matrix.python-version }}.${{ matrix.os }} + - name: "Upload coverage data" uses: actions/upload-artifact@v3 with: @@ -174,10 +181,9 @@ jobs: echo "url=https://nedbat.github.io/coverage-reports/$REPORT_DIR" >> $GITHUB_ENV echo "branch=${REF#refs/heads/}" >> $GITHUB_ENV - - name: "Create summary" + - name: "Summarize" run: | echo '### Total coverage: ${{ env.total }}%' >> $GITHUB_STEP_SUMMARY - echo '[${{ env.url }}](${{ env.url }})' >> $GITHUB_STEP_SUMMARY - name: "Checkout reports repo" if: ${{ github.ref == 'refs/heads/master' }} @@ -220,6 +226,7 @@ jobs: git add ${{ env.report_dir }} latest.html git commit --file=../commit.txt git push + echo '[${{ env.url }}](${{ env.url }})' >> $GITHUB_STEP_SUMMARY - name: "Create badge" if: ${{ github.ref == 'refs/heads/master' }} |