Skip to content

Enable miri tests on Windows #1149

New issue
New issue
Open
Open
Enable miri tests on Windows#1149
Assignees
dblnz
Labels
A-testingRelated to tests or testing infrastructureS-confirmedBug is verified or proposal seems reasonable
Milestone
Backlog

Description

@dblnz
dblnz
opened on Jan 5, 2026

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).

Activity

  1. dblnz
    self-assigned this
    on Jan 5, 2026
  2. dblnz
    added
    A-testingRelated to tests or testing infrastructure
    on Jan 5, 2026
  3. github-actions
    added
    S-needs-triageThe issue has not yet been reviewed.
    on Jan 5, 2026

  4. ludfjig commented on Jan 21, 2026

    @ludfjig
    ludfjig
    on Jan 21, 2026
    Contributor

    I think running miri on linux and windows should be the same, although it would be nicer dev-experienc eif it worked on windows as well

  5. ludfjig
    added
    S-confirmedBug is verified or proposal seems reasonable
    and removed
    S-needs-triageThe issue has not yet been reviewed.
    on Jan 21, 2026
  6. danbugs
    added this to the Backlog milestone on Feb 25, 2026
  7. yoshuawuyts
    added this to Hyperlight Roadmapon Oct 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

A-testingRelated to tests or testing infrastructureS-confirmedBug is verified or proposal seems reasonable

Type

No type

Projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions