Skip to content

[CI Problem] Merge to main branch is not blocked on Github Actions #13952

@mehrdadh

Description

@mehrdadh

Looking at this file, it seems that we only block merge on Jenkins flows. This issue has caused problem before where the committer missed Github Action builds and accidentally merged a PR.
Since we are using more Github Action flows, we should block merging based on those actions.

cc @driazati @gigiblender

Metadata

Metadata

Assignees

No one assigned

    Labels

    needs-triagePRs or issues that need to be investigated by maintainers to find the right assignees to address ittype:ciRelates to TVM CI infrastructure

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions