Skip to content

[ci] Document the typed CI control plane - #3597

Open
joshlf wants to merge 1 commit into
Gnouzrlnq3bnxeg72jfe7d3xq6jymqqcffrom
G6vtk5f2delygb2de3ctuojmcdbyuolw3
Open

[ci] Document the typed CI control plane#3597
joshlf wants to merge 1 commit into
Gnouzrlnq3bnxeg72jfe7d3xq6jymqqcffrom
G6vtk5f2delygb2de3ctuojmcdbyuolw3

Conversation

@joshlf

@joshlf joshlf commented Aug 25, 2026

Copy link
Copy Markdown
Member

Add one guide which names the owner of each CI fact and follows data
from Cargo manifests and reviewed policy through inventory, planning,
GitHub projection, exact execution, and required-check aggregation.

Explain how to change features, packages, toolchains, targets, events,
baselines, and workflow jobs without creating a second source of truth.
Document local audit, inspection, projection, and exact-cell commands.

Document the independently planned semver target matrix, its audited
three-step job and target-partitioned cache, the exact optional-job
required-check bridge, atomic retirement of the old YAML checker, and
the platform-specific Cargo entry-point boundary. Make both exact
execution examples select Windows cells so the documented entry-point
substitution does not leave Windows contributors trying to run a native
Linux target.

Document the audited Docker image producer, its isolated two-file
context, complete source snapshots, and compiler cache pins which must
track Cargo inventory.

Keep the temporary Anneal v1 example matrix clearly separate from the
ordinary typed planner because v1 will soon be replaced.

Link the guide from CONTRIBUTING, policy comments, and cargo-zerocopy
usage so contributors can find the same contract from each entry point.

Tests: CARGO_NET_OFFLINE=true ./ci/check_tools.sh
Tests: ./ci/check_fmt.sh

Authored by an agent, posting via joshlf's account


Latest Update: v29 — Compare vs v28

📚 Full Patch History

Links show the diff between the row version and the column version.

Version v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v29 v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v28 v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v27 v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v26 v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v25 v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v24 v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v23 v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v22 v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v21 v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v20 v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v19 v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v18 v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v17 v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v16 v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v15 v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v14 v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v13 v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v12 v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v11 v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v10 v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v9 v8 v7 v6 v5 v4 v3 v2 v1 Base
v8 v7 v6 v5 v4 v3 v2 v1 Base
v7 v6 v5 v4 v3 v2 v1 Base
v6 v5 v4 v3 v2 v1 Base
v5 v4 v3 v2 v1 Base
v4 v3 v2 v1 Base
v3 v2 v1 Base
v2 v1 Base
v1 Base
⬇️ Download this PR

Branch

git fetch origin refs/heads/G6vtk5f2delygb2de3ctuojmcdbyuolw3 && git checkout -b pr-G6vtk5f2delygb2de3ctuojmcdbyuolw3 FETCH_HEAD

Checkout

git fetch origin refs/heads/G6vtk5f2delygb2de3ctuojmcdbyuolw3 && git checkout FETCH_HEAD

Cherry Pick

git fetch origin refs/heads/G6vtk5f2delygb2de3ctuojmcdbyuolw3 && git cherry-pick FETCH_HEAD

Pull

git pull origin refs/heads/G6vtk5f2delygb2de3ctuojmcdbyuolw3

Stacked PRs enabled by GHerrit.

@codecov-commenter

codecov-commenter commented Aug 25, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.85%. Comparing base (3d017fb) to head (a0f4756).

Additional details and impacted files
@@                        Coverage Diff                         @@
##           Gnouzrlnq3bnxeg72jfe7d3xq6jymqqcf    #3597   +/-   ##
==================================================================
  Coverage                              91.85%   91.85%           
==================================================================
  Files                                     20       20           
  Lines                                   6093     6093           
==================================================================
  Hits                                    5597     5597           
  Misses                                   496      496           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

joshlf commented Aug 25, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 🎉

Reviewed commit: 0886255747

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@joshlf
joshlf force-pushed the G6vtk5f2delygb2de3ctuojmcdbyuolw3 branch from 8f49f45 to 62228bd Compare August 26, 2026 20:11
@joshlf

joshlf commented Aug 26, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

Please review the current head, 62228bd8359b9da9c07b586af109e471fadc3732.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Swish!

Reviewed commit: 62228bd835

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@joshlf
joshlf force-pushed the G6vtk5f2delygb2de3ctuojmcdbyuolw3 branch from 62228bd to 6716049 Compare August 26, 2026 22:09
@joshlf
joshlf force-pushed the Gnouzrlnq3bnxeg72jfe7d3xq6jymqqcf branch from 96d41c3 to 18f1d3f Compare August 26, 2026 22:09
@joshlf
joshlf force-pushed the G6vtk5f2delygb2de3ctuojmcdbyuolw3 branch from 6716049 to 823d0e5 Compare August 26, 2026 22:35
@joshlf
joshlf force-pushed the Gnouzrlnq3bnxeg72jfe7d3xq6jymqqcf branch from 18f1d3f to ad789f3 Compare August 26, 2026 22:35
@joshlf

joshlf commented Aug 26, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

Please review the current head, 823d0e58f483504699e65264cd9ebdc58d59e440.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 👍

Reviewed commit: 823d0e58f4

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@joshlf
joshlf force-pushed the Gnouzrlnq3bnxeg72jfe7d3xq6jymqqcf branch from ad789f3 to 336e4ee Compare August 26, 2026 23:31
@joshlf
joshlf force-pushed the G6vtk5f2delygb2de3ctuojmcdbyuolw3 branch from 823d0e5 to 0ed3c81 Compare August 26, 2026 23:31
@joshlf
joshlf force-pushed the Gnouzrlnq3bnxeg72jfe7d3xq6jymqqcf branch from 336e4ee to bb95028 Compare August 27, 2026 01:18
@joshlf
joshlf force-pushed the G6vtk5f2delygb2de3ctuojmcdbyuolw3 branch from 0ed3c81 to a04a9d2 Compare August 27, 2026 01:18
@joshlf
joshlf force-pushed the Gnouzrlnq3bnxeg72jfe7d3xq6jymqqcf branch from bb95028 to c32e32b Compare August 27, 2026 10:15
@joshlf
joshlf force-pushed the G6vtk5f2delygb2de3ctuojmcdbyuolw3 branch from a04a9d2 to 61c9709 Compare August 27, 2026 10:15
@joshlf

joshlf commented Aug 27, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

Please review the current head, 61c9709e3f1e0ca1d6a71812997cb3588f602c91.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. What shall we delve into next?

Reviewed commit: 61c9709e3f

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@joshlf
joshlf force-pushed the G6vtk5f2delygb2de3ctuojmcdbyuolw3 branch from 61c9709 to c620723 Compare August 27, 2026 10:56
@joshlf
joshlf force-pushed the Gnouzrlnq3bnxeg72jfe7d3xq6jymqqcf branch from c32e32b to 18987e0 Compare August 27, 2026 10:56
@joshlf
joshlf force-pushed the G6vtk5f2delygb2de3ctuojmcdbyuolw3 branch from c620723 to d481e46 Compare August 27, 2026 12:04
@joshlf
joshlf force-pushed the Gnouzrlnq3bnxeg72jfe7d3xq6jymqqcf branch from 18987e0 to 40e01ca Compare August 27, 2026 12:04
@joshlf

joshlf commented Aug 27, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

Please review the current head, d481e46956d40b930932aa23b6aedd9ea7cedd78.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Keep it up!

Reviewed commit: d481e46956

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Add one guide which names the owner of each CI fact and follows data
from Cargo manifests and reviewed policy through inventory, planning,
GitHub projection, exact execution, and required-check aggregation.

Explain how to change features, packages, toolchains, targets, events,
baselines, and workflow jobs without creating a second source of truth.
Document local audit, inspection, projection, and exact-cell commands.

Document the independently planned semver target matrix, its audited
three-step job and target-partitioned cache, the exact optional-job
required-check bridge, atomic retirement of the old YAML checker, and
the platform-specific Cargo entry-point boundary. Make both exact
execution examples select Windows cells so the documented entry-point
substitution does not leave Windows contributors trying to run a native
Linux target.

Document the audited Docker image producer, its isolated two-file
context, complete source snapshots, and compiler cache pins which must
track Cargo inventory.

Keep the temporary Anneal v1 example matrix clearly separate from the
ordinary typed planner because v1 will soon be replaced.

Link the guide from CONTRIBUTING, policy comments, and cargo-zerocopy
usage so contributors can find the same contract from each entry point.

Tests: CARGO_NET_OFFLINE=true ./ci/check_tools.sh
Tests: ./ci/check_fmt.sh

*Authored by an agent, posting via joshlf's account*

gherrit-pr-id: G6vtk5f2delygb2de3ctuojmcdbyuolw3
@joshlf
joshlf force-pushed the G6vtk5f2delygb2de3ctuojmcdbyuolw3 branch from d481e46 to a0f4756 Compare August 27, 2026 12:26
@joshlf
joshlf force-pushed the Gnouzrlnq3bnxeg72jfe7d3xq6jymqqcf branch from 40e01ca to 3d017fb Compare August 27, 2026 12:26
@joshlf

joshlf commented Aug 27, 2026

Copy link
Copy Markdown
Member Author

Authored by an agent, posting via joshlf's account

@codex review

Please review the current head, a0f47561d5747497aed49b8c343745c029a38a64.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 🚀

Reviewed commit: a0f47561d5

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

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.

2 participants