Skip to content

Enable miri tests on Windows #1149

@dblnz

Description

@dblnz

Currently, the miri tests only run on Linux because at the time they were enabled, running them on Windows failed locally because of a missing driver (rustc_driver-<hash>.dll).

Metadata

Metadata

Assignees

Labels

area/testingRelated to tests or testing infrastructurelifecycle/needs-reviewThe issue has not yet been reviewed.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions