feat(ci, report): generate a job summary

objectionary · Mar 22, 2024 · e371255 · e371255
1 parent 8c23018
commit e371255
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/ghc.yml b/.github/workflows/ghc.yml
@@ -75,6 +75,13 @@ jobs:
         shell: bash
         run: ./scripts/pipeline.sh
 
+      - name: Report results
+        shell: bash
+        run: |
+          printf "<details><summary>Report</summary>" >> $GITHUB_STEP_SUMMARY
+          cat report/index.html >> $GITHUB_STEP_SUMMARY
+          printf "</details>" >> $GITHUB_STEP_SUMMARY
+
   docs:
     needs: pipeline
     if: ${{ github.ref_name == 'master' }}