Skip to content

ci: split the server Miri job six ways, so no shard outgrows the budget #405

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
vieiralucas merged 1 commit into from
Aug 9, 2026
Merged

ci: split the server Miri job six ways, so no shard outgrows the budget #405

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 10 additions & 4 deletions .github/workflows/rust.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ jobs:
# One shard per crate so they run in parallel — wall-clock is the slowest
# single job, not the sum. The two long poles fan further into nextest
# partitions that split their tests by hash and run in parallel: core into
# eight, server into three, keeping the slowest job under the CI budget.
# eight, server into six, keeping the slowest job under the CI budget.
# Within each shard: a warm build cache skips the cold Miri codegen +
# sysroot rebuild, and nextest fans the tests across cores instead of one
# serial process.
Expand All @@ -57,11 +57,17 @@ jobs:
partition: 8/8
- crate: crdtsync-ffi
- crate: crdtsync-server
partition: 1/3
partition: 1/6
- crate: crdtsync-server
partition: 2/3
partition: 2/6
- crate: crdtsync-server
partition: 3/3
partition: 3/6
- crate: crdtsync-server
partition: 4/6
- crate: crdtsync-server
partition: 5/6
- crate: crdtsync-server
partition: 6/6
steps:
- uses: actions/checkout@v5
- name: Install Miri
Expand Down
Loading