search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.31k stars 327 forks source link

speed up Windows CI #3436

Closed RalfJung closed 5 months ago

RalfJung commented 5 months ago

The many-seeds test is taking 15 minutes. Let's just run that only once instead of many times on Windows.

Also refactor the CI script to make the caller control which tests are being run.

RalfJung commented 5 months ago

I would say that worked, they are all below 30 minutes now. :)

@bors r+

bors commented 5 months ago

:pushpin: Commit 77ae3055b67213ce7436ac6a7a81051a9a1f2fe2 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 5 months ago

:hourglass: Testing commit 77ae3055b67213ce7436ac6a7a81051a9a1f2fe2 with merge 50bb0a6ba105ec4593c3edad18446da7883798ad...

bors commented 5 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 50bb0a6ba105ec4593c3edad18446da7883798ad to master...