Skip to content

[ci] Drive matrix jobs from typed plans - #3591

Open
joshlf wants to merge 1 commit into
G9897ad03a6cbd7a3472a2b8184fd6ae8from
Gquoamyb32c2czjlzvvkel27kkqeg2tid
Open

[ci] Drive matrix jobs from typed plans#3591
joshlf wants to merge 1 commit into
G9897ad03a6cbd7a3472a2b8184fd6ae8from
Gquoamyb32c2czjlzvvkel27kkqeg2tid

Conversation

@joshlf

@joshlf joshlf commented Aug 25, 2026

Copy link
Copy Markdown
Member

The ordinary workflow still maintained hundreds of lines of matrix
axes, exclusions, feature shell fragments, and command conditions beside
the checked Rust policy. Either representation could drift while the
other continued to look valid.

Make the planner outputs authoritative for build and Miri fan-out. Each
job passes only quoted cell selectors to cargo-zerocopy, which replans
the event, resolves all command behavior from checked inputs, and
rejects an unknown or excluded cell before starting work.

Retire the old YAML-to-manifest toolchain checker in the same change
which removes its handwritten matrix input. The preceding commit proves
the replacement two-way inventory invariant, so this switch has no
under-checked boundary and cannot fail by parsing a fromJSON expression.

Keep runner, image, artifact, permission, and third-party action choices
visible in Actions YAML. Preserve the literal semver action as the one
workflow-owned exception, and correctly forward the pull request head
SHA used by its existing commit-message skip contract.

This intentionally preserves coverage: pull requests still select 60
build and zero Miri cells; full events select 182 build and 64 Miri
cells. Removing the retired hosted checker also saves one runner startup
and yq installation, plus one duplicate local pre-push process.

Tests: ci/check_actions.sh
Tests: ci/check_job_dependencies.sh
Tests: ci/check_tools.sh
Tests: githooks/test_pre_push.py
Tests: ci/check_fmt.sh
Tests: cargo clippy -p zc --all-targets --offline -- -D warnings

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/Gquoamyb32c2czjlzvvkel27kkqeg2tid && git checkout -b pr-Gquoamyb32c2czjlzvvkel27kkqeg2tid FETCH_HEAD

Checkout

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

Cherry Pick

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

Pull

git pull origin refs/heads/Gquoamyb32c2czjlzvvkel27kkqeg2tid

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.
⚠️ Please upload report for BASE (G9897ad03a6cbd7a3472a2b8184fd6ae8@a309bd0). Learn more about missing BASE report.

Additional details and impacted files
@@                         Coverage Diff                          @@
##             G9897ad03a6cbd7a3472a2b8184fd6ae8    #3591   +/-   ##
====================================================================
  Coverage                                     ?   91.85%           
====================================================================
  Files                                        ?       20           
  Lines                                        ?     6093           
  Branches                                     ?        0           
====================================================================
  Hits                                         ?     5597           
  Misses                                       ?      496           
  Partials                                     ?        0           

☔ 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
joshlf force-pushed the Gquoamyb32c2czjlzvvkel27kkqeg2tid branch from f90984d to 4f0c3e7 Compare August 25, 2026 18:32
@joshlf
joshlf force-pushed the Gkr4fd4vz5vegygalblsmjjgpdq3eulsx branch from 1c25593 to 1632fd7 Compare August 25, 2026 18:32
@joshlf
joshlf changed the base branch from Gkr4fd4vz5vegygalblsmjjgpdq3eulsx to G9897ad03a6cbd7a3472a2b8184fd6ae8 August 25, 2026 18:40

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. What shall we delve into next?

Reviewed commit: 4f0c3e7ad3

ℹ️ 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".

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Already looking forward to the next diff.

Reviewed commit: 78a1d2e770

ℹ️ 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 Gquoamyb32c2czjlzvvkel27kkqeg2tid branch from 78a1d2e to e8060ec Compare August 26, 2026 17:40
@joshlf
joshlf force-pushed the G9897ad03a6cbd7a3472a2b8184fd6ae8 branch from 1cec11e to bf776ff Compare August 26, 2026 17:40
@joshlf

joshlf commented Aug 26, 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. More of your lovely PRs please.

Reviewed commit: e8060ecd78

ℹ️ 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 G9897ad03a6cbd7a3472a2b8184fd6ae8 branch from bf776ff to ce1213f Compare August 26, 2026 18:55
@joshlf
joshlf force-pushed the Gquoamyb32c2czjlzvvkel27kkqeg2tid branch from e8060ec to 2a7826a Compare August 26, 2026 18:55
@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, 2a7826aa5272b347e5d1d70ccac2413e3a733363.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. More of your lovely PRs please.

Reviewed commit: 2a7826aa52

ℹ️ 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 Gquoamyb32c2czjlzvvkel27kkqeg2tid branch from 2a7826a to 8e2bc56 Compare August 26, 2026 20:11
@joshlf
joshlf force-pushed the G9897ad03a6cbd7a3472a2b8184fd6ae8 branch from ce1213f to 9211778 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, 8e2bc56103d0f1335fe4632811d1df38bc08c145.

@chatgpt-codex-connector

Copy link
Copy Markdown

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

Reviewed commit: 8e2bc56103

ℹ️ 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 G9897ad03a6cbd7a3472a2b8184fd6ae8 branch from 9211778 to fdf9df2 Compare August 26, 2026 22:09
@joshlf
joshlf force-pushed the Gquoamyb32c2czjlzvvkel27kkqeg2tid branch 2 times, most recently from 8824884 to b37f87b Compare August 26, 2026 22:35
@joshlf
joshlf force-pushed the G9897ad03a6cbd7a3472a2b8184fd6ae8 branch from fdf9df2 to 84816d5 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, b37f87bb7567ed504cf9033e0d08b0b3f9defac3.

@chatgpt-codex-connector

Copy link
Copy Markdown

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

Reviewed commit: b37f87bb75

ℹ️ 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 G9897ad03a6cbd7a3472a2b8184fd6ae8 branch from 84816d5 to 358e200 Compare August 26, 2026 23:31
@joshlf
joshlf force-pushed the Gquoamyb32c2czjlzvvkel27kkqeg2tid branch from b37f87b to 2c11865 Compare August 26, 2026 23:31
@joshlf
joshlf force-pushed the G9897ad03a6cbd7a3472a2b8184fd6ae8 branch from 358e200 to c131b7f Compare August 27, 2026 01:18
@joshlf
joshlf force-pushed the Gquoamyb32c2czjlzvvkel27kkqeg2tid branch from 2c11865 to e77f592 Compare August 27, 2026 01:18
The ordinary workflow still maintained hundreds of lines of matrix
axes, exclusions, feature shell fragments, and command conditions beside
the checked Rust policy. Either representation could drift while the
other continued to look valid.

Make the planner outputs authoritative for build and Miri fan-out. Each
job passes only quoted cell selectors to cargo-zerocopy, which replans
the event, resolves all command behavior from checked inputs, and
rejects an unknown or excluded cell before starting work.

Retire the old YAML-to-manifest toolchain checker in the same change
which removes its handwritten matrix input. The preceding commit proves
the replacement two-way inventory invariant, so this switch has no
under-checked boundary and cannot fail by parsing a fromJSON expression.

Keep runner, image, artifact, permission, and third-party action choices
visible in Actions YAML. Preserve the literal semver action as the one
workflow-owned exception, and correctly forward the pull request head
SHA used by its existing commit-message skip contract.

This intentionally preserves coverage: pull requests still select 60
build and zero Miri cells; full events select 182 build and 64 Miri
cells. Removing the retired hosted checker also saves one runner startup
and yq installation, plus one duplicate local pre-push process.

Tests: ci/check_actions.sh
Tests: ci/check_job_dependencies.sh
Tests: ci/check_tools.sh
Tests: githooks/test_pre_push.py
Tests: ci/check_fmt.sh
Tests: cargo clippy -p zc --all-targets --offline -- -D warnings

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

gherrit-pr-id: Gquoamyb32c2czjlzvvkel27kkqeg2tid
@joshlf
joshlf force-pushed the G9897ad03a6cbd7a3472a2b8184fd6ae8 branch from c131b7f to a309bd0 Compare August 27, 2026 10:15
@joshlf
joshlf force-pushed the Gquoamyb32c2czjlzvvkel27kkqeg2tid branch from e77f592 to 5545348 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, 5545348eb8f309b9e6c4115f83e0458caba7e6cf.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Keep them coming!

Reviewed commit: 5545348eb8

ℹ️ 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