Skip to content

Enable miri tests on Windows #1149

Open
Open
Enable miri tests on Windows#1149
Assignees
dblnz
Labels
area/testingRelated to tests or testing infrastructurelifecycle/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
    area/testingRelated to tests or testing infrastructure
    on Jan 5, 2026
  3. github-actions
    added
    lifecycle/needs-reviewThe 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
    lifecycle/confirmedBug is verified or proposal seems reasonable
    and removed
    lifecycle/needs-reviewThe 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

area/testingRelated to tests or testing infrastructurelifecycle/confirmedBug is verified or proposal seems reasonable

Type

No type

Projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions