Skip to content

Also require other subtrees to always build successfully#102175

Merged
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:miri_subtree_cleanup
Sep 24, 2022
Merged

Also require other subtrees to always build successfully#102175
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:miri_subtree_cleanup

Also require other subtrees to always build successfully

7ed999b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs