Repository navigation
ci: light PR set, heavy suites after merge on pf-gcp-post (CR-233) - #480
Merged
Merged
Conversation
…, squash of #477) One tree-identical squash of the CR-233 branch (PR #477), on engine main 20267dd, so that the doc-reverts gate judges the change once, against main, with this message. It replaces the branch's eleven commits (f82ef8a, 0d63b1b, b4a98a4, cfda278, 9f33e1b, a merge of main, 64137d8, ab12867, 60bcfe2c, 8c2386ed and the control test 077d3ebb); the branch is kept as ci/cr233-pr-split-r2. What changes: - ci.yml keeps only the PR wall (authz, changes, preflight, Release/Debug build, corpus-parity-subset, build-gate); the full-event jobs (preflight-slow, macOS build, sanitizers, kernel-only, native-live, full corpus parity) move to ci-post.yml on pf-gcp-post; docs build/deploy split into docs.yml and docs-post.yml; corpus-parity-subset becomes its own workflow. - scripts/ci_preflight.py, its tests and docs/ci.md follow the split (runner contract, PR vs post aggregates, PR_PROOF_JOBS, PR fast rows). - scripts/check_two_world_registration.py models a parenthesised boolean group and get_test_property (property reads bind NOTFOUND); tests/CMakeLists.txt carries the PR-fast-rows guard; control tests 21 and 22 cover both. doc-reverts: docs/ci.md rewords or drops sentences introduced by earlier commits on main. They are named here: a8089b2 (the GCP fleet routing, #474), 21ba62b (native-live and the Ubuntu Debug leg as pool-only checks, #464), 03b2406 (release jobs on pf-ci-release, #461), 3c19a69 (Linux x64 jobs on the pf-ci-spot pool, #420), 133f571 (1.0 prep, docs-only CI skip, #303), d3cca9e (docs: migration semantics, publication guards), eed6598 (defer macOS Debug from pull requests, CR-195, #454). Each deleted sentence is superseded by the PR/post split described above; none is a silent revert. Proof: the previous head of this tree failed CLOUD proof rj-20261021t210656-9f91b8 on the causes fixed here (get_test_property unmodelled in the two-world walk, a stale macOS anchor, a stale aggregate lane list); this commit has not been run by its author, the next CLOUD proof is its first run. Co-Authored-By: Claude Sonnet 5.5 <[email protected]>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
CR-233 (owner CI-2 = A+B, #1050): a light pull-request set for the engine. Heavy suites move to push:main, nightly and workflow_dispatch; nothing is dropped.
scripts/test_ci_preflight.py.corpus-parity.ymlloses its standalonepull_requesttrigger. The subset measured 598 s on 2 vCPU with a cold cache, over the 6-minute line, so it moves to the lab-status path. Corpus parity on PRs stays gated by the requiredpineforge/paritystatus. Test:test_corpus_parity_rejects_readded_pull_request_trigger.Included (owner, 10-22 02:20): a PR whose diff is only
.github/**runs only authz, actionlint, ci-policy-check and preflight's fast workflow-contract stages. The required aggregate computes the changed paths itself and fails on any skipped heavy leg unless the diff is.github-only.scripts/ci_*.pyis not.github-only. This comes with mutation tests.This branch is the rebase of ci/cr233-pr-split onto a8089b2 (#474) as a new branch (tree unchanged by the rebase). The refusal tests run for the first time in this PR's preflight.
This PR replaces #477 as ONE tree-identical squash on main 20267dd, so that the doc-reverts check can pass: its message names the commits whose sentences were rewritten. It also carries FLEET-POST (owner A): ci-post.yml, corpus-parity-subset.yml and docs-post.yml run push/schedule/dispatch on ["self-hosted","pf-gcp-post"]; PR jobs stay on pf-gcp-pr; macOS post-merge builds stay hosted macos-26 per laneboss canon. The live checker's R6 finding on pf-gcp-post is accepted until LB-535. Also in it: the PR fast-row pin moved in lockstep, the two-world walker models parenthesised OR groups and
get_test_property, with control tests.🤖 Generated with Claude Code