From b59aa15ee287a4c5a8ad482d0a912ee9b830997f Mon Sep 17 00:00:00 2001
From: sganggs <sganggs@users.noreply.github.com>
Date: Fri, 2 Oct 2026 16:18:33 +0800
Subject: [PATCH] CI: save the page before grepping it in the server smoke test
 (no flaky pipefail)

---
 .github/workflows/ci.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2850a25e..57b62cfd 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -61,7 +61,10 @@ jobs:
           done
           echo
           [ -n "$ok" ] || { cat server.log; exit 1; }
-          curl -fsS http://127.0.0.1:3000/ | grep -qi '<html'
+          # Save the page first: piping curl into `grep -q` let grep exit on the first match, curl then failed with a
+          # write error (23) and pipefail turned that into a flaky red step.
+          curl -fsS -o index.out http://127.0.0.1:3000/
+          grep -qi '<html' index.out
           curl -fsS -o /dev/null http://127.0.0.1:3000/vendor/pixi.min.js
           node tools/doctor.mjs || true
           kill $pid || true