From 1c265609d5f1ad370619641649a19a20fcb23b55 Mon Sep 17 00:00:00 2001 From: Codex Bot Date: Wed, 28 Oct 2026 19:08:30 +0800 Subject: [PATCH] docs(pilot): link the recovery audit to the follow-up PR --- experiments/P0-pilot/results/execution.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/experiments/P0-pilot/results/execution.json b/experiments/P0-pilot/results/execution.json index c82e3a7..9012727 100644 --- a/experiments/P0-pilot/results/execution.json +++ b/experiments/P0-pilot/results/execution.json @@ -66,6 +66,6 @@ "remote_runner_tag": "ubuntu24.04-x64-lean4.35", "initial_remote_ci": "https://gitea.entroia.com/Zayden-Jung/lean-bench/actions/runs/427", "initial_remote_ci_status": "success; image job skipped for PR", - "recovery_remote_ci": "See PR #5 checks for the delivered head revision" + "recovery_remote_ci": "See follow-up PR #6 checks for the delivered head revision" } }