infra/workflow: Use GitHub Step Summary

Unlike comments, Step Summaries do not require permissions.

.github/workflows/memcheck_asan.sh

@@ -28,6 +28,14 @@ if [[ "$GITHUB_EVENT_NAME" == "pull_request" ]]; then
         OUTPUT+="$PAYLOAD_MEMCHECK"
         OUTPUT+=$'\n```\n' 
 
+        (
+            echo '<details><summary>ASAN output</sumary>'
+            echo
+            echo "$OUTPUT"
+            echo
+            echo '</details>'
+        ) >> "$GITHUB_STEP_SUMMARY"
+
         PAYLOAD=$(echo '{}' | jq --arg body "$OUTPUT" '.body = $body')
 
         curl -s -S -H "Authorization: token $GITHUB_TOKEN" --header "Content-Type: application/vnd.github.VERSION.text+json" --data "$PAYLOAD" "$COMMENTS_URL"

.github/workflows/memcheck_valgrind.sh

@@ -27,6 +27,14 @@ if [[ "$GITHUB_EVENT_NAME" == "pull_request" ]]; then
         OUTPUT+="$PAYLOAD_MEMCHECK"
         OUTPUT+=$'\n```\n' 
 
+        (
+            echo '<details><summary>Valgrind output</sumary>'
+            echo
+            echo "$OUTPUT"
+            echo
+            echo '</details>'
+        ) >> "$GITHUB_STEP_SUMMARY"
+
         PAYLOAD=$(echo '{}' | jq --arg body "$OUTPUT" '.body = $body')
 
         curl -s -S -H "Authorization: token $GITHUB_TOKEN" --header "Content-Type: application/vnd.github.VERSION.text+json" --data "$PAYLOAD" "$COMMENTS_URL"

.github/workflows/regression.yml

@@ -159,6 +159,14 @@ jobs:
           export PATH=$PATH:~/.local/bin/
           python3 "${GITHUB_WORKSPACE}/.github/workflows/regression_check.py"
 
+          if [[ -f "fail_ci.txt" ]]; then
+            (
+              echo '```'
+              cat "fail_ci.txt"
+              echo '```'
+            ) >> "$GITHUB_STEP_SUMMARY"
+          fi
+
       - name: Find Comment
         uses: peter-evans/find-comment@v3
         id: fc