mirror of
https://github.com/IHaskell/IHaskell.git
synced 2025-04-14 10:26:07 +00:00
.github/workflows: cancel-in-progress (#1534)
This commit is contained in:
parent
0440d5f7bb
commit
ae728320bd
4
.github/workflows/docker.yml
vendored
4
.github/workflows/docker.yml
vendored
@ -33,6 +33,10 @@ on:
|
||||
- 'src/**'
|
||||
- 'stack.yaml'
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
jobs:
|
||||
build:
|
||||
if: (github.event_name != 'pull_request' && ! github.event.pull_request.head.repo.fork) || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.fork)
|
||||
|
4
.github/workflows/nix.yml
vendored
4
.github/workflows/nix.yml
vendored
@ -30,6 +30,10 @@ on:
|
||||
- 'README.md'
|
||||
- '*.yaml'
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
jobs:
|
||||
build:
|
||||
if: (github.event_name != 'pull_request' && ! github.event.pull_request.head.repo.fork) || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.fork)
|
||||
|
4
.github/workflows/stack-nix.yml
vendored
4
.github/workflows/stack-nix.yml
vendored
@ -34,6 +34,10 @@ on:
|
||||
- 'README.md'
|
||||
- 'hie.yaml'
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
jobs:
|
||||
linux:
|
||||
if: (github.event_name != 'pull_request' && ! github.event.pull_request.head.repo.fork) || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.fork)
|
||||
|
4
.github/workflows/stack.yml
vendored
4
.github/workflows/stack.yml
vendored
@ -32,6 +32,10 @@ on:
|
||||
- 'README.md'
|
||||
- 'hie.yaml'
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
jobs:
|
||||
linux:
|
||||
if: (github.event_name != 'pull_request' && ! github.event.pull_request.head.repo.fork) || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.fork)
|
||||
|
Loading…
x
Reference in New Issue
Block a user