summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNed Batchelder <ned@nedbatchelder.com>2021-02-21 15:22:28 -0500
committerNed Batchelder <ned@nedbatchelder.com>2021-02-21 15:22:28 -0500
commit5746b37ea1415b78a9216a68504fc46cc6237434 (patch)
treeab754baa09ade6942e5fada0855b7bec3730ed1e
parent8286807af35162ee9bbae33c3165a93d34e455ac (diff)
downloadpython-coveragepy-git-5746b37ea1415b78a9216a68504fc46cc6237434.tar.gz
build: publish metacov to a ghpages repo
-rw-r--r--.github/workflows/coverage.yml19
1 files changed, 19 insertions, 0 deletions
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 9629463e..59e7ccc6 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -119,3 +119,22 @@ jobs:
with:
name: html_report
path: htmlcov
+
+ - name: Pushes to another repository
+ uses: sebastian-palma/github-action-push-to-another-repository@allow-creating-destination-directory
+ env:
+ API_TOKEN_GITHUB: ${{ secrets.COVERAGE_REPORTS_TOKEN }}
+ with:
+ source-directory: 'htmlcov'
+ destination-github-username: 'nedbat'
+ destination-repository-name: 'coverage-reports'
+ destination-repository-directory: 'reports/${{ github.sha }}'
+ empty-repository: false
+ create-destination-directory: true
+ target-branch: main
+ commit-message: "Coverage report for ${{ github.sha }}"
+ user-email: ned@nedbatchelder.com
+
+ - name: Show link to report
+ run: |
+ echo "https://nedbat.github.io/coverage-reports/reports/${{ github.sha }}/htmlcov"