Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Only execute miri on the salsa-2022 packages
These don't need to disable isolation so the `-Zmiri-isolation-error` flag can be removed.
- Loading branch information