From 5dce2624b4e05edcb4d2ad72ef25a9a5b6a22dae Mon Sep 17 00:00:00 2001 From: PJ Date: Sun, 16 Aug 2026 02:32:32 +0530 Subject: [PATCH] ci(folio): name the run, not the fuzzer, in the clean-run message Claude-Session: https://claude.ai/code/session_01ShuAy8q8ZfPi8KHxwc8JpQ --- .github/scripts/folio-run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/folio-run.sh b/.github/scripts/folio-run.sh index 35f88a3..a746506 100755 --- a/.github/scripts/folio-run.sh +++ b/.github/scripts/folio-run.sh @@ -292,7 +292,7 @@ case "$code" in ;; 0) echo "folio/$platform: the run finished clean; the double-submit bug was NOT found in $steps steps (seed $seed)" >&2 - echo "folio/$platform: the spec ran without throwing, so this is the fuzzer no longer reaching the bug, not a broken spec" >&2 + echo "folio/$platform: the spec ran without throwing, so this is the run no longer reaching the bug, not a broken spec" >&2 exit 1 ;; *) echo "folio/$platform: the harness failed with exit $code" >&2; exit "$code" ;;