Skip to content

Make miri a subtree instead of a submodule#102028

Merged
bors merged 5441 commits into
rust-lang:masterfrom
oli-obk:miri_subtree
Sep 22, 2022
Merged

Make miri a subtree instead of a submodule#102028
bors merged 5441 commits into
rust-lang:masterfrom
oli-obk:miri_subtree

Allow miri docs to keep failing for now

2ce88a5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs