Skip to content

Don't merge PRs where non-required status are failing #243

@Geod24

Description

@Geod24

Just happened a couple days ago, Azure was red and dlang-bot still merged a PR with auto-merge on, resulting in a few days of intermittent Azure failure.
Revert is here: dlang/dmd#11173

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions