[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. 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". |
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
e0308b8 to
2c79688
Compare
bfa90f4 to
0bf328b
Compare
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: v9 — Compare vs v8
📚 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.