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.

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

Add test flag for running a test only on the host #2377

Merged
merged 3 commits into from
Jul 17, 2022
Merged

Add test flag for running a test only on the host #2377

merged 3 commits into from
Jul 17, 2022

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Jul 17, 2022

No description provided.

oli-obk added 3 commits July 17, 2022 07:46
…re dependencies to miri as CI will fail.

if you want this locally, pass it to your invocation.
@oli-obk
Copy link
Contributor Author

oli-obk commented Jul 17, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Jul 17, 2022

📌 Commit 8527bfc has been approved by oli-obk

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jul 17, 2022

⌛ Testing commit 8527bfc with merge 006bb3c...

@bors
Copy link
Contributor

bors commented Jul 17, 2022

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing 006bb3c to master...

match condition {
Condition::Bitwidth(bits) => get_pointer_width(target) == *bits,
Condition::Target(t) => target.contains(t),
Condition::OnHost => config.target.is_none(),
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Are you sure target.is_none() will work? AFAIK we always set a target, we just usually set it equal to the default host target.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

well it did end up working in practice ^^ but I also checked and we only set the target sometimes and always compute a target by taking that or falling back to the host

@oli-obk oli-obk deleted the only-on-host branch July 18, 2022 07:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants