pj/sanderling
1
0 Fork 0
mirror of https://github.com/priyanshujain/sanderling.git synced 2026-10-02 11:07:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

ci(replay-ui): skip a run directory with no trace

Browse Source 
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.
This commit is contained in:
pj committed 2026-08-15 12:47:23 +05:30
1 parent b2f9335f5d
commit f0cb07d3a6
1 file changed
+1
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/replay-ui.yml
+1
View File
@@ -129,6 +129,7 @@ jobs:
echo echo
echo "- seed \`$SEED\`, budget $MAX_STEPS steps" echo "- seed \`$SEED\`, budget $MAX_STEPS steps"
for dir in runs/dogfood/*/; do for dir in runs/dogfood/*/; do
[ -f "$dir/trace.jsonl" ] || continue
steps=$(wc -l < "$dir/trace.jsonl" | tr -d ' ') steps=$(wc -l < "$dir/trace.jsonl" | tr -d ' ')
violations=$(grep -c '"violations":\[' "$dir/trace.jsonl" || true) violations=$(grep -c '"violations":\[' "$dir/trace.jsonl" || true)
echo "- $steps steps recorded, $violations step(s) with violations" echo "- $steps steps recorded, $violations step(s) with violations"