What does github.workflow_run.succeeded prove?

Prove that the dispatched workflow run finished with success. A completed run is not a successful run. The contract reads the conclusion of the run and an event that carries it.

What is the intent?

Start the workflow on the reference and let it finish with success.

What is the subject and the action?

Which false successes give CONTRADICTED?

• duplicate side effect
• other
• pre existing state
• wrong subject

The signed contract states the exact conditions, the evidence and the timing. The runtime reads them. The page states the promise.

Where do these rules come from?

• github.openapi#/paths/~1repos~1{owner}~1{repo}~1actions~1workflows~1{workflow_id}~1dispatches/post: github.openapi, retrieved 2026-09-08
• github.openapi#/paths/~1repos~1{owner}~1{repo}~1actions~1workflows~1{workflow_id}~1dispatches/post/responses/200: github.openapi, retrieved 2026-09-08
• github.openapi#/components/schemas/workflow-run/properties/status: github.openapi, retrieved 2026-09-08
• github.openapi#/components/schemas/workflow-run/properties/conclusion: github.openapi, retrieved 2026-09-08
• github.docs.workflows#workflow-runs/dispatch-a-workflow: github.docs.workflows, retrieved 2026-09-08
• github.docs.workflows#workflow-runs/the-status-of-a-run: github.docs.workflows, retrieved 2026-09-08
• github.docs.workflows#workflow-runs/the-conclusion-of-a-run: github.docs.workflows, retrieved 2026-09-08
• github.openapi#/components/schemas/workflow-run/properties/head_branch: github.openapi, retrieved 2026-09-08
• github.openapi#/components/schemas/workflow-run/properties/created_at: github.openapi, retrieved 2026-09-08
• github.events#/events/workflow_run.completed: github.events, retrieved 2026-09-08
• github.docs.workflows#workflow-runs/events: github.docs.workflows, retrieved 2026-09-08