Skip to content

Cancel builds when a PR is declined #8

Open
Open
Cancel builds when a PR is declined#8
Labels
enhancement

Description

@ip1981
ip1981
opened on Jan 24, 2018

Cancel builds when a PR is declined. Add a boolean option: true = cancel, false = don't, default: true

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancement

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions