Skip to content

[ci] Shadow typed plans in Actions - #3584

Open
joshlf wants to merge 1 commit into
G7enmvjxtn3q2hjsb7gwvzaajiqlp4m4cfrom
Gx6vwydb7e2ijorcpxmqt3axxviika37l
Open

[ci] Shadow typed plans in Actions#3584
joshlf wants to merge 1 commit into
G7enmvjxtn3q2hjsb7gwvzaajiqlp4m4cfrom
Gx6vwydb7e2ijorcpxmqt3axxviika37l

Conversation

@joshlf

@joshlf joshlf commented Aug 25, 2026

Copy link
Copy Markdown
Member

Run the checked CI planner in parallel with Docker image construction
and publish both compact matrices as job outputs. Upload the complete
plan as an exact JSON artifact so reviewers can inspect every inclusion
and exclusion.

Keep the existing handwritten build and Miri matrices authoritative in
this commit. The required-check aggregate waits for planning, so
validation fails without changing executed test coverage if live
repository inputs or workflow job inventory drift from the reviewed
policy.

Tests: ./ci/check_actions.sh
Tests: ./ci/check_job_dependencies.sh
Tests: CARGO_NET_OFFLINE=true cargo +1.93.1 test --manifest-path
tools/Cargo.toml -p zc --lib

Authored by an agent, posting via joshlf's account


Latest Update: v10 — Compare vs v9

📚 Full Patch History

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

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

Checkout

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

Cherry Pick

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

Pull

git pull origin refs/heads/Gx6vwydb7e2ijorcpxmqt3axxviika37l

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 (faa3d5b) to head (01dbf1b).

Additional details and impacted files
@@                        Coverage Diff                         @@
##           G7enmvjxtn3q2hjsb7gwvzaajiqlp4m4c    #3584   +/-   ##
==================================================================
  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. Breezy!

Reviewed commit: ecdf5a590e

ℹ️ 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 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. Can't wait for the next one!

Reviewed commit: dc4ded5fc6

ℹ️ 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 G7enmvjxtn3q2hjsb7gwvzaajiqlp4m4c branch from d465a7a to ef3f7d1 Compare August 26, 2026 01:28
@joshlf
joshlf force-pushed the Gx6vwydb7e2ijorcpxmqt3axxviika37l branch from dc4ded5 to 808f3be Compare August 26, 2026 01:28
Run the checked CI planner in parallel with Docker image construction
and publish both compact matrices as job outputs. Upload the complete
plan as an exact JSON artifact so reviewers can inspect every inclusion
and exclusion.

Keep the existing handwritten build and Miri matrices authoritative in
this commit. The required-check aggregate waits for planning, so
validation fails without changing executed test coverage if live
repository inputs or workflow job inventory drift from the reviewed
policy.

Tests: ./ci/check_actions.sh
Tests: ./ci/check_job_dependencies.sh
Tests: CARGO_NET_OFFLINE=true cargo +1.93.1 test --manifest-path
       tools/Cargo.toml -p zc --lib

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

gherrit-pr-id: Gx6vwydb7e2ijorcpxmqt3axxviika37l
@joshlf
joshlf force-pushed the G7enmvjxtn3q2hjsb7gwvzaajiqlp4m4c branch from ef3f7d1 to faa3d5b Compare August 26, 2026 09:58
@joshlf
joshlf force-pushed the Gx6vwydb7e2ijorcpxmqt3axxviika37l branch from 808f3be to 01dbf1b Compare August 26, 2026 09:58
@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. Bravo.

Reviewed commit: 01dbf1b9f8

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