Skip to content

Fix auto merge for dependency graph update pull requests #1212

@pierd

Description

@pierd

They are not merged automatically since the CI is not triggered for doc changes and without CI there's no auto merge.

Example PR: #1194

Metadata

Metadata

Assignees

No one assigned

    Labels

    topic:engopsEngineering Operations. Compile times, workflows, etc

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions