diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2021-02-21 16:36:29 -0500 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2021-02-21 16:36:29 -0500 |
commit | feb0bb76c6bc3dddcbc3a1c16c189a538729ac0c (patch) | |
tree | 67d6cd677d6f0f84e06f75de1c8f001cd74025b7 | |
parent | 5746b37ea1415b78a9216a68504fc46cc6237434 (diff) | |
download | python-coveragepy-git-feb0bb76c6bc3dddcbc3a1c16c189a538729ac0c.tar.gz |
build: use a nicer directory name for reports
-rw-r--r-- | .github/workflows/coverage.yml | 9 |
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" |