From f0cb07d3a6c2e83cefa0ec06ea76601e1c69aca3 Mon Sep 17 00:00:00 2001
From: PJ <ipriyanshujain@gmail.com>
Date: Sat, 15 Aug 2026 12:47:03 +0530
Subject: [PATCH] ci(replay-ui): skip a run directory with no trace

the summarise step is if: always(), and under github's bash -eo pipefail
an unmatched glob stays literal, the redirect fails, pipefail carries it
into the assignment and -e kills the step. so a failed fuzz run went red
twice, once for the real reason.
---
 .github/workflows/replay-ui.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/replay-ui.yml b/.github/workflows/replay-ui.yml
index a195371..f4b27fd 100644
--- a/.github/workflows/replay-ui.yml
+++ b/.github/workflows/replay-ui.yml
@@ -129,6 +129,7 @@ jobs:
             echo
             echo "- seed \`$SEED\`, budget $MAX_STEPS steps"
             for dir in runs/dogfood/*/; do
+              [ -f "$dir/trace.jsonl" ] || continue
               steps=$(wc -l < "$dir/trace.jsonl" | tr -d ' ')
               violations=$(grep -c '"violations":\[' "$dir/trace.jsonl" || true)
               echo "- $steps steps recorded, $violations step(s) with violations"