File tree Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -18,7 +18,7 @@ permissions:
18
18
19
19
concurrency :
20
20
group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
21
- cancel-in-progress : true
21
+ cancel-in-progress : ${{ !(github.ref == 'refs/heads/master' || github.ref == 'refs/heads/dev') }}
22
22
23
23
jobs :
24
24
pre-commit :
Original file line number Diff line number Diff line change @@ -10,7 +10,7 @@ permissions:
10
10
11
11
concurrency :
12
12
group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
13
- cancel-in-progress : true
13
+ cancel-in-progress : ${{ !(github.ref == 'refs/heads/master' || github.ref == 'refs/heads/dev') }}
14
14
15
15
jobs :
16
16
Fuzzing :
Original file line number Diff line number Diff line change @@ -10,7 +10,7 @@ permissions:
10
10
11
11
concurrency :
12
12
group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
13
- cancel-in-progress : true
13
+ cancel-in-progress : ${{ !(github.ref == 'refs/heads/master' || github.ref == 'refs/heads/dev') }}
14
14
15
15
jobs :
16
16
doxygen :
You can’t perform that action at this time.
0 commit comments