Skip to content

ci: Cancel previous runs in the PR when you push new commits (update the current) #86

@tungbq

Description

@tungbq

To save the running resource, we could cancel the current run when there has new commit pushed to the pull requet.

Workflow to update:

Basically this task could be completed by adding:

concurrency: 
  group: ${{ github.head_ref }}
  cancel-in-progress: true

Doc: https://stackoverflow.com/a/67939898

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions