microsoft / microsoft/openvmm

run ci with nightly and run tests under miri

Open
#254 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

CI flowey
Dominant language
Rust
Stars
1.9k
Forks
238
Avg merge
1d 15h
Merged PRs (30d)
100

Description

We can use the public nightly toolchain to test and run miri tests

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by inspecting the repository's existing CI configuration and test workflows, then identify how the public nightly toolchain and Miri can be invoked. Done means CI runs the requested nightly-toolchain tests and Miri tests successfully.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
ci-cd, testing
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.