[ci] Parallelize Miri and harden feature coverage - #3505
Open
joshlf wants to merge 1 commit into
Open
Conversation
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## Gb7xokkyivphxcgxt7f2k2lyap32oa7kv #3505 +/- ##
==================================================================
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:
|
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 4a02608364
ℹ️ 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
force-pushed
the
Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
branch
from
July 31, 2026 13:08
4a02608 to
b5e29a8
Compare
joshlf
force-pushed
the
Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
branch
from
July 31, 2026 13:21
b5e29a8 to
56e519e
Compare
joshlf
enabled auto-merge
July 31, 2026 13:21
joshlf
force-pushed
the
Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
branch
from
July 31, 2026 17:59
56e519e to
2e12dc3
Compare
auto-merge was automatically disabled
July 31, 2026 17:59
Merge commits are not allowed on this repository
joshlf
force-pushed
the
Gr7m2v9k4x6c3p8s5d1f0h2j4l6n8q0w2
branch
from
July 31, 2026 18:25
cfd8eaa to
665615d
Compare
joshlf
force-pushed
the
Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
branch
from
July 31, 2026 18:25
2e12dc3 to
12005a8
Compare
joshlf
changed the base branch from
Gr7m2v9k4x6c3p8s5d1f0h2j4l6n8q0w2
to
G8b5ff74785cf1dfeef62eb4ce695116cac0e9290
July 31, 2026 18:25
joshlf
force-pushed
the
Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
branch
from
July 31, 2026 18:40
12005a8 to
21455e5
Compare
joshlf
force-pushed
the
G8b5ff74785cf1dfeef62eb4ce695116cac0e9290
branch
from
July 31, 2026 18:40
5db1f73 to
1dffbdd
Compare
Base automatically changed from
G8b5ff74785cf1dfeef62eb4ce695116cac0e9290
to
main
July 31, 2026 18:53
joshlf
force-pushed
the
Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
branch
2 times, most recently
from
July 31, 2026 22:41
2e8dcd6 to
0ede4d4
Compare
This was referenced Jul 31, 2026
joshlf
force-pushed
the
Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
branch
from
July 31, 2026 23:23
0ede4d4 to
cc49eaa
Compare
joshlf
force-pushed
the
Gb7xokkyivphxcgxt7f2k2lyap32oa7kv
branch
from
July 31, 2026 23:23
2e680ed to
29ab67e
Compare
joshlf
force-pushed
the
Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
branch
from
July 31, 2026 23:39
cc49eaa to
90158cb
Compare
joshlf
force-pushed
the
Gb7xokkyivphxcgxt7f2k2lyap32oa7kv
branch
from
July 31, 2026 23:39
29ab67e to
438934f
Compare
joshlf
force-pushed
the
Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
branch
from
July 31, 2026 23:45
90158cb to
26452f4
Compare
joshlf
force-pushed
the
Gb7xokkyivphxcgxt7f2k2lyap32oa7kv
branch
from
July 31, 2026 23:45
438934f to
01787d5
Compare
joshlf
force-pushed
the
Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
branch
from
July 31, 2026 23:54
26452f4 to
f703560
Compare
joshlf
force-pushed
the
Gb7xokkyivphxcgxt7f2k2lyap32oa7kv
branch
2 times, most recently
from
August 1, 2026 00:04
91f1559 to
f149ae5
Compare
joshlf
force-pushed
the
Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
branch
from
August 1, 2026 00:04
f703560 to
45b8edb
Compare
Replace raw Cargo feature arguments with semantic profiles, and omit the no-default profile while it is identical to the default profile. Move Miri into a standalone matrix so that stacked and tree borrows run in parallel and can start as soon as the Docker image is available. Expand the CI matrix check to derive feature policy from Cargo metadata and fail if feature profiles, targets, borrow models, or workflow wiring drift. gherrit-pr-id: Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
joshlf
force-pushed
the
Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc
branch
from
August 1, 2026 00:08
45b8edb to
48f4a75
Compare
joshlf
force-pushed
the
Gb7xokkyivphxcgxt7f2k2lyap32oa7kv
branch
from
August 1, 2026 00:08
f149ae5 to
0220455
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Replace raw Cargo feature arguments with semantic profiles, and omit
the no-default profile while it is identical to the default profile.
Move Miri into a standalone matrix so that stacked and tree borrows
run in parallel and can start as soon as the Docker image is available.
Expand the CI matrix check to derive feature policy from Cargo
metadata and fail if feature profiles, targets, borrow models, or
workflow wiring drift.
Latest Update: v17 — Compare vs v16
📚 Full Patch History
Links show the diff between the row version and the column version.
⬇️ Download this PR
Branch
git fetch origin refs/heads/Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc && git checkout -b pr-Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc FETCH_HEADCheckout
git fetch origin refs/heads/Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc && git checkout FETCH_HEADCherry Pick
git fetch origin refs/heads/Ghjiwdkxk7bi3ag2zcvbf3jc2c5yyyafc && git cherry-pick FETCH_HEADPull
Stacked PRs enabled by GHerrit.