docs(pilot): link the recovery audit to the follow-up PR

2026-10-28 19:08:30 +08:00
parent 16e49df764
commit 1c265609d5
1 changed files with 1 additions and 1 deletions
@@ -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"
  }
 }