Skip to content

feat(lastcode): prove hosted CI waiting - #104

Merged
lastobelus merged 3 commits into
lastcode/mainfrom
lastcode/github-ci-waiting
Aug 27, 2026
Merged

lastobelus merged 3 commits into
lastcode/mainfrom
lastcode/github-ci-waiting

Conversation

@lastobelus

Copy link
Copy Markdown
Owner

The existing waiter assumes that every PR must eventually report a hosted check, so repositories with CI disabled can wait forever. Before GitHub CI can become authoritative, we also need one stable aggregate gate tied to the exact synthesized PR merge revision.

This change moves the existing workflow onto standard GitHub runners, adds a fail-closed CI Gate, and teaches Wait for PR to distinguish disabled/non-required CI from an enabled workflow that has not registered yet. The waiter binds local branch, worktree, PR, head, base, merge revision, workflow run, and aggregate job identity; it wakes on actionable failures or bounded missing-registration states while keeping clean review completion asleep until all passive gates are ready.

Focused validation: 41 tests across the workflow policy, GitHub-CI evaluator, and waiter; scripts-package typecheck; focused lint; YAML parse; diff check. The branch was published with --no-verify to avoid the known blocking Quick CI hook; the existing Full CI stamp remains required for guarded merge during this proof slice.

Part of #103.

Implemented with GPT-5.6 Sol in the Codex harness.

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant