feat(ci, report): generate a job summary

objectionary · Mar 23, 2024 · 321eaee · 321eaee
1 parent 303dc25
commit 321eaee
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/ghc.yml b/.github/workflows/ghc.yml
@@ -75,6 +75,11 @@ jobs:
         shell: bash
         run: ./scripts/pipeline.sh
 
+      - name: Report results
+        shell: bash
+        run: |
+          cat report/report.md >> $GITHUB_STEP_SUMMARY
+
   docs:
     needs: pipeline
     if: ${{ github.ref_name == 'master' }}