Skip to content

Replace cross tests with MIRI#63

Merged
newpavlov merged 2 commits intomasterfrom
miri
Sep 12, 2023
Merged

Replace cross tests with MIRI#63
newpavlov merged 2 commits intomasterfrom
miri

Conversation

@newpavlov
Copy link
Member

@newpavlov newpavlov commented Sep 12, 2023

It may be worth to enable other -Z flags.

@newpavlov newpavlov requested a review from tarcieri September 12, 2023 13:44
@newpavlov newpavlov merged commit 329d4cd into master Sep 12, 2023
@newpavlov newpavlov deleted the miri branch September 12, 2023 14:19
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.

2 participants