-
Notifications
You must be signed in to change notification settings - Fork 20
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
fix: disable system param tests in miri #484
fix: disable system param tests in miri #484
Conversation
I went down the rabbit hole of trying to fix this but ultimately couldn't get it working. Here's what I found on the off chance this is useful in the future: The tests fail with
Which comes from CodeWhich you can use by doing
And now it fails with
Which I fixed by making the Code
which uses a new
and enabled by
And then this is where I got stuck. All the tests now pass, but it still fails with:
which seems to be caused by the fact that the task pool never shutsdown, and there is no interface for requesting it do so (similar problem with rayon) ( |
It looks like the miri test is still being run / failing in CI - but locally it seems like it is ignored by miri. Not exactly sure what is going on here. |
Seems to be checking out target branch main without the changes here:
I wonder if this is an issue with using bones/.github/workflows/pull-requests.yml Lines 4 to 10 in 560c259
I might try changing this and pushing here to see if fixes. other jobs from ci.yml file seem to do the merged branch when checking out. |
Seems like it is now running with both pull_request and pull_request_target (I assume the pull_request_target) version will go away once this is merged? Should be ok to merge if that passes I think. |
The new system param integration tests added in #482 fail in miri due to features unavailable in isolation mode. Disable those tests since there isn't a good way to fix this.