[ci] Project typed plans for GitHub Actions - #3582
Conversation
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## Gafg4kvymw7n4xtng6pupyhz5kfrkaj76 #3582 +/- ##
==================================================================
Coverage 91.85% 91.85%
==================================================================
Files 20 20
Lines 6093 6093
==================================================================
Hits 5597 5597
Misses 496 496 ☔ View full report in Codecov by Harness. 🚀 New features to boost your workflow:
|
7bb9d60 to
9626b55
Compare
|
Authored by an agent, posting via joshlf's account @codex review |
|
Codex Review: Didn't find any major issues. Nice work! Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
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". |
9626b55 to
e0308b8
Compare
0008f62 to
bfa90f4
Compare
|
Authored by an agent, posting via joshlf's account @codex review |
|
Codex Review: Didn't find any major issues. 👍 Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
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". |
897590d to
85570df
Compare
24724d2 to
2b3aefe
Compare
|
Authored by an agent, posting via joshlf's account @codex review |
|
Codex Review: Didn't find any major issues. Nice work! Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
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". |
85570df to
b3f2524
Compare
2b3aefe to
c07e156
Compare
|
Authored by an agent, posting via joshlf's account @codex review Please review the current head, |
|
Codex Review: Didn't find any major issues. Delightful! Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
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". |
c07e156 to
d6a71c4
Compare
b3f2524 to
7d47d07
Compare
|
Authored by an agent, posting via joshlf's account @codex review Please review the current head, |
|
Codex Review: Didn't find any major issues. Nice work! Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
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". |
7d47d07 to
cb686b3
Compare
8572827 to
28ea00f
Compare
cb686b3 to
124df80
Compare
|
Authored by an agent, posting via joshlf's account @codex review Please review the current head, |
|
Codex Review: Didn't find any major issues. What shall we delve into next? Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
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". |
28ea00f to
4acf082
Compare
0ce022a to
b5527cf
Compare
Serialize checked build and Miri plans into compact include matrices. Use explicit transport types so changes to internal planner data cannot alter the workflow contract silently. Also produce a deterministic, versioned artifact containing every candidate, its decision, and the exact semantic inputs used to reach that decision. Enforce matrix and GitHub output limits before publishing either form, and publish artifacts without exposing a partial file. Keep runners, permissions, actions, environments, and commands in handwritten workflow YAML; generated data can select ordinary test work but cannot grant itself authority. Tests: CARGO_NET_OFFLINE=true ./ci/check_tools.sh Tests: cargo +1.93.1 clippy --manifest-path tools/Cargo.toml -p zc Tests: ./ci/check_fmt.sh *Authored by an agent, posting via joshlf's account* gherrit-pr-id: Gujggzvgefxnk44kuhaoccbp5e6iuv7j7
b5527cf to
e44acbd
Compare
55ee9e4 to
a41d4af
Compare
|
Authored by an agent, posting via joshlf's account @codex review Please review the current head, |
|
Codex Review: Didn't find any major issues. Nice work! Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
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". |
2 participants
Serialize checked build and Miri plans into compact include matrices.
Use explicit transport types so changes to internal planner data cannot
alter the workflow contract silently.
Also produce a deterministic, versioned artifact containing every
candidate, its decision, and the exact semantic inputs used to reach
that decision. Enforce matrix and GitHub output limits before publishing
either form, and publish artifacts without exposing a partial file.
Keep runners, permissions, actions, environments, and commands in
handwritten workflow YAML; generated data can select ordinary test work
but cannot grant itself authority.
Tests: CARGO_NET_OFFLINE=true ./ci/check_tools.sh
Tests: cargo +1.93.1 clippy --manifest-path tools/Cargo.toml -p zc
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.
⬇️ Download this PR
Branch
git fetch origin refs/heads/Gujggzvgefxnk44kuhaoccbp5e6iuv7j7 && git checkout -b pr-Gujggzvgefxnk44kuhaoccbp5e6iuv7j7 FETCH_HEADCheckout
git fetch origin refs/heads/Gujggzvgefxnk44kuhaoccbp5e6iuv7j7 && git checkout FETCH_HEADCherry Pick
git fetch origin refs/heads/Gujggzvgefxnk44kuhaoccbp5e6iuv7j7 && git cherry-pick FETCH_HEADPull
Stacked PRs enabled by GHerrit.