diff --git a/.github/workflows/ghc.yml b/.github/workflows/ghc.yml
index 4b8240bac..6975f4c7c 100644
--- 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' }}