File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1010 - ' **.md'
1111 - ' docs/**'
1212
13+ concurrency :
14+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
15+ cancel-in-progress : true
16+
1317jobs :
1418 build :
1519 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 66 - master
77 pull_request :
88
9+ concurrency :
10+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
11+ cancel-in-progress : true
12+
913jobs :
1014 deploy :
1115 runs-on : ubuntu-latest
3034 with :
3135 github_token : ${{ secrets.GITHUB_TOKEN }}
3236 publish_dir : ./output
33-
37+
Original file line number Diff line number Diff line change 1010 - ' **.md'
1111 - ' docs/**'
1212
13+ concurrency :
14+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
15+ cancel-in-progress : true
16+
1317jobs :
1418 build :
1519 name : ${{ matrix.config.name }}-${{ matrix.library_mode }}-${{ matrix.boost }}Boost
Original file line number Diff line number Diff line change 1010 - ' **.md'
1111 - ' docs/**'
1212
13+ concurrency :
14+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
15+ cancel-in-progress : true
16+
1317jobs :
1418 build :
1519 name : ${{ matrix.config.name }}
Original file line number Diff line number Diff line change 1010 - ' **.md'
1111 - ' docs/**'
1212
13+ concurrency :
14+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
15+ cancel-in-progress : true
16+
1317jobs :
1418 mingw :
1519 runs-on : windows-latest
You can’t perform that action at this time.
0 commit comments