diff options
| author | Tristan Partin <tristan@partin.io> | 2022-08-17 04:58:19 (GMT) |
|---|---|---|
| committer | Tristan Partin <tristan@partin.io> | 2022-08-17 04:58:19 (GMT) |
| commit | c871a283670599c64656adc363e38a1ac723d6e0 (patch) | |
| tree | d57dc6b92c13e86c39853311b6e4f7b328a064de /.github/workflows | |
| parent | cfd6ab32522280079c2e6d3ea995f172b9ae0312 (diff) | |
| download | lz4-c871a283670599c64656adc363e38a1ac723d6e0.zip lz4-c871a283670599c64656adc363e38a1ac723d6e0.tar.gz lz4-c871a283670599c64656adc363e38a1ac723d6e0.tar.bz2 | |
Cancel in-progress CI if a new commit workflow supplants it
This is useful when repushing to a PR very quickly and when merging to
dev very quickly.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c490bc7..e234a17 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -16,6 +16,10 @@ on: [push, pull_request] permissions: contents: read +concurrency: + cancel-in-progress: true + group: ${{ github.workflow }}-${{ github.head_ref }} + jobs: lz4-c-compilers: name: CC=${{ matrix.cc }}, ${{ matrix.os }} |