Skip to content

[ci] Execute exact typed matrix cells - #3589

Open
joshlf wants to merge 1 commit into
Gnp4lv6jrqbhnp5pyd2625o7jwdguulmzfrom
Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj
Open

[ci] Execute exact typed matrix cells#3589
joshlf wants to merge 1 commit into
Gnp4lv6jrqbhnp5pyd2625o7jwdguulmzfrom
Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj

Conversation

@joshlf

@joshlf joshlf commented Aug 25, 2026

Copy link
Copy Markdown
Member

The typed planner previously stopped after describing intended work.
Add exact build and Miri selectors, and execute every local Cargo step
from the already-audited command model.

Each invocation replans the named event and requires one complete cell
match, so stale, partial, or newly ambiguous matrix data fails before a
process starts. Commands remain argv vectors; policy values never pass
through shell parsing.

Keep the platform-neutral model in terms of cargo.sh, but translate that
exact wrapper to win-cargo.bat at the real Windows host boundary. This
preserves one set of plans and goldens while making native Windows cells
execute the reviewed platform entry point.

Run Miri from the repository root without moving its Cargo config. Add
the explicit zerocopy manifest at the executor boundary, then use one
private, exact-valued context to change only the wrapper's Cargo child.
This preserves toolchain installation, wrapper flags, package
qualification, and target directories while making concurrent and
cancelled cells incapable of leaving the checkout modified.

Retain GNU nproc and its OMP behavior on Linux. Use Rust's available
parallelism on other hosts, and check the multiplication on every host.
The semver action remains workflow-owned because GitHub requires a
literal uses step.

Correct the nightly documentation golden to include the RUSTFLAGS and
MIRIFLAGS which the current workflow actually inherits.

Tests: ci/check_tools.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/Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj && git checkout -b pr-Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj FETCH_HEAD

Checkout

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

Cherry Pick

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

Pull

git pull origin refs/heads/Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj

Stacked PRs enabled by GHerrit.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 97e206f4a1

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

Comment thread tools/zc/src/execution.rs
@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 (5ceb1a6) to head (e7cd2ac).

Additional details and impacted files
@@                        Coverage Diff                         @@
##           Gnp4lv6jrqbhnp5pyd2625o7jwdguulmz    #3589   +/-   ##
==================================================================
  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
joshlf force-pushed the Gnp4lv6jrqbhnp5pyd2625o7jwdguulmz branch from 08414d4 to d206edd Compare August 25, 2026 18:32
@joshlf
joshlf force-pushed the Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj branch from 97e206f to 5527487 Compare August 25, 2026 18:32

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 chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 552748717a

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

Comment thread tools/zc/src/execution.rs
Comment thread tools/zc/src/execution.rs Outdated
@joshlf
joshlf force-pushed the Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj branch from 8cb3a1e to 7fd0482 Compare August 26, 2026 15:46
@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. Already looking forward to the next diff.

Reviewed commit: 7fd04826ed

ℹ️ 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 Gnp4lv6jrqbhnp5pyd2625o7jwdguulmz branch from 662029c to c719e07 Compare August 26, 2026 17:40
@joshlf
joshlf force-pushed the Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj branch from 7fd0482 to 943b0c0 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. Hooray!

Reviewed commit: 943b0c02df

ℹ️ 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 Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj branch from 943b0c0 to 99b8cd8 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, 99b8cd8d20803d6643dced1cc11249da9161bce0.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. You're on a roll.

Reviewed commit: 99b8cd8d20

ℹ️ 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 Gnp4lv6jrqbhnp5pyd2625o7jwdguulmz branch from 25c4bbd to e2d9f7c Compare August 26, 2026 20:11
@joshlf
joshlf force-pushed the Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj branch from 99b8cd8 to 239ae55 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, 239ae55defc450a07b1d6d632a8d9bf31a19d42c.

@chatgpt-codex-connector

Copy link
Copy Markdown

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

Reviewed commit: 239ae55def

ℹ️ 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 Gnp4lv6jrqbhnp5pyd2625o7jwdguulmz branch from e2d9f7c to bad5c53 Compare August 26, 2026 22:09
@joshlf
joshlf force-pushed the Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj branch 2 times, most recently from 85ecd5e to f47a484 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, f47a484c28717ca224413f961327d8ede82f70fb.

@chatgpt-codex-connector

Copy link
Copy Markdown

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

Reviewed commit: f47a484c28

ℹ️ 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 Gnp4lv6jrqbhnp5pyd2625o7jwdguulmz branch from 2238a9b to fa4256b Compare August 26, 2026 23:31
@joshlf
joshlf force-pushed the Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj branch 2 times, most recently from ab1aedd to e7cd2ac Compare August 27, 2026 01:18
@joshlf
joshlf force-pushed the Gnp4lv6jrqbhnp5pyd2625o7jwdguulmz branch from fa4256b to 5ceb1a6 Compare August 27, 2026 01:18
The typed planner previously stopped after describing intended work.
Add exact build and Miri selectors, and execute every local Cargo step
from the already-audited command model.

Each invocation replans the named event and requires one complete cell
match, so stale, partial, or newly ambiguous matrix data fails before a
process starts. Commands remain argv vectors; policy values never pass
through shell parsing.

Keep the platform-neutral model in terms of cargo.sh, but translate that
exact wrapper to win-cargo.bat at the real Windows host boundary. This
preserves one set of plans and goldens while making native Windows cells
execute the reviewed platform entry point.

Run Miri from the repository root without moving its Cargo config. Add
the explicit zerocopy manifest at the executor boundary, then use one
private, exact-valued context to change only the wrapper's Cargo child.
This preserves toolchain installation, wrapper flags, package
qualification, and target directories while making concurrent and
cancelled cells incapable of leaving the checkout modified.

Retain GNU nproc and its OMP behavior on Linux. Use Rust's available
parallelism on other hosts, and check the multiplication on every host.
The semver action remains workflow-owned because GitHub requires a
literal uses step.

Correct the nightly documentation golden to include the RUSTFLAGS and
MIRIFLAGS which the current workflow actually inherits.

Tests: ci/check_tools.sh
Tests: cargo clippy -p zc --all-targets --offline -- -D warnings

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

gherrit-pr-id: Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj
@joshlf
joshlf force-pushed the Gnp4lv6jrqbhnp5pyd2625o7jwdguulmz branch from 5ceb1a6 to dfc8b9d Compare August 27, 2026 10:15
@joshlf
joshlf force-pushed the Gbsj7gxuv5hpi22zhup5w3fajtjjxnldj branch from e7cd2ac to b3c77b4 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, b3c77b4fca561add921d0eb244a5c953ed5d8235.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Can't wait for the next one!

Reviewed commit: b3c77b4fca

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