From feb0bb76c6bc3dddcbc3a1c16c189a538729ac0c Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Sun, 21 Feb 2021 16:36:29 -0500
Subject: build: use a nicer directory name for reports

---
 .github/workflows/coverage.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to '.github/workflows')

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"
-- 
cgit v1.2.1