fix: replace workflow step summaries

.gitea/workflows/push-validation.yml

@@ -22,6 +22,7 @@ jobs:
       AWS_SECRET_ACCESS_KEY: ${{ secrets.ARTEFACT_BUCKET_WRITE_ACCESS_SECRET }}
       AWS_DEFAULT_REGION: ${{ vars.ARTEFACT_BUCKET_REGION }}
       AWS_EC2_METADATA_DISABLED: true
+      SUMMARY_FILE: ${{ runner.temp }}/push-validation-summary.md
     steps:
       - name: Checkout
         uses: actions/checkout@v4
@@ -112,13 +113,15 @@ jobs:
 
       - name: Add coverage summary
         run: |
+          set -euo pipefail
+
           {
             echo '## Coverage'
             echo
             echo '- Total: `${{ steps.coverage.outputs.total }}%`'
             echo '- Report: ${{ steps.upload.outputs.report_url }}'
             echo '- Badge: ${{ steps.upload.outputs.badge_url }}'
-          } >> "$GITHUB_STEP_SUMMARY"
+          } >> "$SUMMARY_FILE"
 
       - name: Recommend next release tag on main pushes
         if: ${{ github.ref == 'refs/heads/main' }}
@@ -131,7 +134,7 @@ jobs:
               echo '## Release Recommendation'
               echo
               echo "- Recommended next tag: \`${recommended_tag}\`"
-            } >> "$GITHUB_STEP_SUMMARY"
+            } >> "$SUMMARY_FILE"
           else
             recommendation_error="$(tr '\n' ' ' < release-recommendation.err | sed 's/[[:space:]]\+/ /g' | sed 's/^ //; s/ $//')"
             echo "::warning::${recommendation_error}"
@@ -140,5 +143,19 @@ jobs:
               echo '## Release Recommendation'
               echo
               echo "- No recommended tag emitted: ${recommendation_error}"
-            } >> "$GITHUB_STEP_SUMMARY"
+            } >> "$SUMMARY_FILE"
+          fi
+
+      - name: Summary
+        if: ${{ always() }}
+        run: |
+          set -euo pipefail
+
+          echo 'Summary'
+          echo
+
+          if [[ -s "$SUMMARY_FILE" ]]; then
+            cat "$SUMMARY_FILE"
+          else
+            echo 'No summary generated.'
           fi