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

ci(replay-ui): name the run directory for what it fuzzes

Browse Source 
runs/dogfood and the '### replay-ui dogfood' heading carried the same
naming error as the job name: dogfooding is why the run exists, not what
it fuzzes.
This commit is contained in:
pj committed 2026-08-16 01:23:02 +05:30
1 parent baa2229abf
commit ae4323a704
2 files changed
+5 -5
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

.github/scripts/replay-ui-summary-test.sh
+1 -1
View File
@@ -3,7 +3,7 @@
# summary it renders. Run under the flags GitHub Actions uses for a `run:` # summary it renders. Run under the flags GitHub Actions uses for a `run:`
# block, because that is where a swallowed failure hides. # block, because that is where a swallowed failure hides.
# #
# testdata/replay-ui-real-run.jsonl is the first 10 steps of the dogfood run in # testdata/replay-ui-real-run.jsonl is the first 10 steps of the replay-ui run in
# actions run 31873049857 on master, with the per-step `hierarchy` dumps and the # actions run 31873049857 on master, with the per-step `hierarchy` dumps and the
# rowElements/tabElements extractors removed so the file stays readable. Nothing # rowElements/tabElements extractors removed so the file stays readable. Nothing
# else was touched. That run was green, and badgeCountMatchesThePanel judged # else was touched. That run was green, and badgeCountMatchesThePanel judged
.github/scripts/replay-ui-summary.sh
+4 -4
View File
@@ -1,9 +1,9 @@
#!/usr/bin/env bash #!/usr/bin/env bash
# Reads the replay-ui dogfood trace and reports, per property, how many steps # Reads the replay-ui fuzzing trace and reports, per property, how many steps
# that property actually judged. Kept out of the workflow YAML so it can be run # that property actually judged. Kept out of the workflow YAML so it can be run
# by hand against a local run: # by hand against a local run:
# #
# GITHUB_STEP_SUMMARY=/dev/stdout .github/scripts/replay-ui-summary.sh runs/dogfood # GITHUB_STEP_SUMMARY=/dev/stdout .github/scripts/replay-ui-summary.sh runs/replay-ui
# #
# `sanderling test` exiting 0 says only that no property returned false. Every # `sanderling test` exiting 0 says only that no property returned false. Every
# property in replay-ui/sanderling/spec.ts declines to judge when a reading it # property in replay-ui/sanderling/spec.ts declines to judge when a reading it
@@ -14,7 +14,7 @@
set -euo pipefail set -euo pipefail
root="$(cd "$(dirname "${BASH_SOURCE[0]}")/../.." && pwd)" root="$(cd "$(dirname "${BASH_SOURCE[0]}")/../.." && pwd)"
output="${1:-runs/dogfood}" output="${1:-runs/replay-ui}"
spec="${SPEC:-$root/replay-ui/sanderling/spec.ts}" spec="${SPEC:-$root/replay-ui/sanderling/spec.ts}"
summary="${GITHUB_STEP_SUMMARY:-/dev/null}" summary="${GITHUB_STEP_SUMMARY:-/dev/null}"
@@ -23,7 +23,7 @@ run_dirs=("$output"/*/)
shopt -u nullglob shopt -u nullglob
{ {
echo "### replay-ui dogfood" echo "### the replay ui"
echo echo
echo "- seed \`${SEED:-unset}\`, budget ${MAX_STEPS:-unset} steps" echo "- seed \`${SEED:-unset}\`, budget ${MAX_STEPS:-unset} steps"
} >> "$summary" } >> "$summary"