search

rust-lang / miri

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

Allow test targets to be set via CLI args #3588

Closed RossSmyth closed 1 month ago

RossSmyth commented 1 month ago

Fixes #3584

I'm not a pro shell script reader as I am a Windows user, but we shall see if the CI script broke.

RossSmyth commented 1 month ago

Ah I forgot about the env var.

RalfJung commented 1 month ago

@bors r+

bors commented 1 month ago

:pushpin: Commit 39354492e6bbadbdf9439e07cb7e5fe4daf764d0 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit 39354492e6bbadbdf9439e07cb7e5fe4daf764d0 with merge ef35b0e88932aea8134ba9dd53ec2beca0a1a148...

RalfJung commented 1 month ago

@bors retry r+

bors commented 1 month ago

:pushpin: Commit 07f5f8bd59234fbe78f5fdeaa654ab7785a2122f has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit 07f5f8bd59234fbe78f5fdeaa654ab7785a2122f with merge 8b6b64eed5a00e00618410cf5fbc80e348dc516a...

bors commented 1 month ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 8b6b64eed5a00e00618410cf5fbc80e348dc516a to master...