summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNed Batchelder <ned@nedbatchelder.com>2021-02-21 16:36:29 -0500
committerNed Batchelder <ned@nedbatchelder.com>2021-02-21 16:36:29 -0500
commitfeb0bb76c6bc3dddcbc3a1c16c189a538729ac0c (patch)
tree67d6cd677d6f0f84e06f75de1c8f001cd74025b7
parent5746b37ea1415b78a9216a68504fc46cc6237434 (diff)
downloadpython-coveragepy-git-feb0bb76c6bc3dddcbc3a1c16c189a538729ac0c.tar.gz
build: use a nicer directory name for reports
-rw-r--r--.github/workflows/coverage.yml9
1 files changed, 7 insertions, 2 deletions
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 59e7ccc6..5727559a 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -120,6 +120,11 @@ jobs:
name: html_report
path: htmlcov
+ - name: Get information for URL
+ id: info
+ run: |
+ echo "::set-output name=slug::$(date +'%Y%m%d')_$(echo ${{github.sha}} | cut -c 1-12)"
+
- name: Pushes to another repository
uses: sebastian-palma/github-action-push-to-another-repository@allow-creating-destination-directory
env:
@@ -128,7 +133,7 @@ jobs:
source-directory: 'htmlcov'
destination-github-username: 'nedbat'
destination-repository-name: 'coverage-reports'
- destination-repository-directory: 'reports/${{ github.sha }}'
+ destination-repository-directory: 'reports/${{ steps.info.outputs.slug }}'
empty-repository: false
create-destination-directory: true
target-branch: main
@@ -137,4 +142,4 @@ jobs:
- name: Show link to report
run: |
- echo "https://nedbat.github.io/coverage-reports/reports/${{ github.sha }}/htmlcov"
+ echo "https://nedbat.github.io/coverage-reports/reports/${{ steps.info.outputs.slug }}/htmlcov"