hyperlight-dev / hyperlight-dev/hyperlight
Enable `miri` tests on Windows
Aperta
area/testing
lifecycle/confirmed
- Lingua principale
- Rust
- Stelle
- 4.7k
- Fork
- 208
- Merge medio
- 1g 7h
- PR unite (30g)
- 47
Descrizione
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-.dll`).
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.