Skip to content

Cancel previous workflows on push #2455

@Rot127

Description

@Rot127

Feature

  • New architecture module
  • Support for processor extension
  • Add more instruction details (elaborated below)
  • Binding support for: language
  • Other (elaborated below)

Describe the feature you'd like

Pushing to a PR which has still running workflows, doesn't stop those workflows.
This wastes a lot of our Action minutes. We should add:

# Stop previous runs on the same branch on new push
concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: ${{ !contains(github.ref, 'release/')}}

This example would require that the release is in it's own release/... branch. So on the release branch nothing gets canceled.

Additional context

Docs: https://docs.github.com/en/actions/writing-workflows/workflow-syntax-for-github-actions#concurrency

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions