PROOF9
- {openRequirements.length === 0 ? (
+ {proofLoading ? (
+
+ ) : proofError && !proofData ? (
+
+ Unable to load PROOF9 status — merge blocked until resolved.
+
+ ) : openRequirements.length === 0 ? (
All clear
@@ -233,7 +240,7 @@ export function PRStatusPanel({ prNumber, workspacePath }: PRStatusPanelProps) {
)}
{/* Blocking messages */}
- {data && (ciFailing || ciPending) && !merged && (
+ {data && (ciFailing || ciPending) && !alreadyMerged && (
{ciFailing ? 'CI checks failing' : 'Waiting for CI checks'}
@@ -247,7 +254,7 @@ export function PRStatusPanel({ prNumber, workspacePath }: PRStatusPanelProps) {
)}
{/* Success banner or Merge button */}
- {merged ? (
+ {alreadyMerged ? (
PR #{prNumber} merged successfully