ci: print the check and size summaries to the log as well

The job summary is not readable through the API, so a passing run left
no record of what it checked anywhere but the web page.

Refs #297

Author: Seungpyo1007

.github/workflows/pages.yml

@@ -64,7 +64,7 @@ jobs:
         run: |
           files=$(find site/dist -type f | wc -l)
           bytes=$(du -sb site/dist | cut -f1)
-          echo "Published site: $files files, $((bytes / 1000000)) MB" >> "$GITHUB_STEP_SUMMARY"
+          echo "Published site: $files files, $((bytes / 1000000)) MB" | tee -a "$GITHUB_STEP_SUMMARY"
           if [ "$files" -gt 700000 ] || [ "$bytes" -gt 900000000 ]; then
             echo "::error::site/dist is too large to publish safely ($files files, $bytes bytes)"
             exit 1

.github/workflows/pr-checks.yml

@@ -151,4 +151,4 @@ jobs:
                   END { for (c in n) printf "| %s | %d | %d | %d |\n", c, s[c, "A"], s[c, "M"], s[c, "D"] }' | sort
             cat "$RUNNER_TEMP/failures.md" 2>/dev/null
             if [ -s "$RUNNER_TEMP/tier0.md" ]; then echo; echo "### Tier 0 (informational)"; echo; cat "$RUNNER_TEMP/tier0.md"; fi
-          } >> "$GITHUB_STEP_SUMMARY"
+          } | tee -a "$GITHUB_STEP_SUMMARY"