From 6e2326a4a8ae23e069e9a3512c72311fd3f651b5 Mon Sep 17 00:00:00 2001
From: M Bernt <m.bernt@ufz.de>
Date: Thu, 11 Jan 2024 17:23:11 +0100
Subject: [PATCH] print summary below the artifacts (#5711)

---
 .github/workflows/pr.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/pr.yaml b/.github/workflows/pr.yaml
index d617e5ca1e3..394a498c191 100644
--- a/.github/workflows/pr.yaml
+++ b/.github/workflows/pr.yaml
@@ -378,6 +378,10 @@ jobs:
         if [[ "${{ needs.setup.outputs.chunk-count }}" != "$NFILES" ]]; then
           exit 1
         fi
+    - run: cat upload/tool_test_output.md >> $GITHUB_STEP_SUMMARY
+    # the following only works for PRs opened from the main fork
+    # which we should not do (but lets leave this here until we have a
+    # solution)
     - name: Get PR object
       if: failure()
       uses: 8BitJonny/gh-get-current-pr@2.2.0