File tree Expand file tree Collapse file tree 2 files changed +10
-1
lines changed Expand file tree Collapse file tree 2 files changed +10
-1
lines changed Original file line number Diff line number Diff line change 10
10
- master
11
11
paths-ignore :
12
12
- ' docs/**'
13
+ concurrency :
14
+ # Skip intermediate builds: always.
15
+ # Cancel intermediate builds: only if it is a pull request build.
16
+ group : ${{ github.workflow }}-${{ github.ref }}
17
+ cancel-in-progress : ${{ startsWith(github.ref, 'refs/pull/') }}
13
18
jobs :
14
19
test :
15
20
runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 4
4
branches : [master]
5
5
tags : [v*]
6
6
pull_request :
7
-
7
+ concurrency :
8
+ # Skip intermediate builds: always.
9
+ # Cancel intermediate builds: only if it is a pull request build.
10
+ group : ${{ github.workflow }}-${{ github.ref }}
11
+ cancel-in-progress : ${{ startsWith(github.ref, 'refs/pull/') }}
8
12
jobs :
9
13
test :
10
14
name : ${{ matrix.package.repo }}/${{ matrix.package.group }}/${{ matrix.julia-version }}
You can’t perform that action at this time.
0 commit comments