Skip to content

Don't release Miri if its tests only failed on Windows#81666

Merged
bors merged 2 commits into
masterfrom
unknown repository
Feb 13, 2021
Merged

Don't release Miri if its tests only failed on Windows#81666
bors merged 2 commits into
masterfrom
unknown repository

Extend the comment of `check_toolstate()` to clarify that the tool wo…

f87afe5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs