Skip to content
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

Jump to bottom

[ci] Run Miri test alias models in parallel #1311

Closed
wants to merge 2 commits into from
Closed

[ci] Run Miri test alias models in parallel #1311

wants to merge 2 commits into from

Commits on May 19, 2024

  1. Split test_ptr_try_cast_into_soundness (#1308) 

    * [ci] Run Miri tests on multiple threads

Use `cargo nextest` to run Miri tests on twice the number of threads as
there are CPU cores.

* Split `test_ptr_try_cast_into_soundness`

This should enable better parallelization, especially under Miri in CI.

Comparing [1] (run with the parent commit) and [2] (run with this
commit), we see an overall speedup of 22m51s -> 18m28s, or ~19%.

[1] https://github.com/google/zerocopy/actions/runs/9148942749
[2] https://github.com/google/zerocopy/actions/runs/9148952446
    @joshlf
    joshlf authored May 19, 2024
    Configuration menu
    Copy the full SHA
    7329607 View commit details
    Browse the repository at this point in the history

  2. [ci] Run Miri test alias models in parallel 

    In CI, we run Miri tests using both the Stacked Borrows and Tree Borrows
aliasing models. This commit runs these in parallel to improve
utilization of available parallelism.
    @joshlf
    joshlf committed May 19, 2024
    Configuration menu
    Copy the full SHA
    0132ae0 View commit details
    Browse the repository at this point in the history