File tree 5 files changed +16
-18
lines changed
5 files changed +16
-18
lines changed Load Diff This file was deleted.
Original file line number Diff line number Diff line change 7
7
- cron : ' 0 1 * * SUN'
8
8
workflow_dispatch :
9
9
10
+ concurrency :
11
+ group : ${{ github.workflow }}-${{ github.ref }}
12
+ cancel-in-progress : true
13
+
10
14
env :
11
15
DOC_ROOT : ${{ github.workspace }}/ACE
12
16
ACE_ROOT : ${{ github.workspace }}/ACE/ACE
Original file line number Diff line number Diff line change 7
7
- cron : ' 0 1 * * SUN'
8
8
workflow_dispatch :
9
9
10
+ concurrency :
11
+ group : ${{ github.workflow }}-${{ github.ref }}
12
+ cancel-in-progress : true
13
+
10
14
jobs :
11
15
build :
12
16
strategy :
Original file line number Diff line number Diff line change 7
7
- cron : ' 0 1 * * SUN'
8
8
workflow_dispatch :
9
9
10
+ concurrency :
11
+ group : ${{ github.workflow }}-${{ github.ref }}
12
+ cancel-in-progress : true
13
+
10
14
jobs :
11
15
build :
12
16
strategy :
Original file line number Diff line number Diff line change 7
7
- cron : ' 0 1 * * SUN'
8
8
workflow_dispatch :
9
9
10
+ concurrency :
11
+ group : ${{ github.workflow }}-${{ github.ref }}
12
+ cancel-in-progress : true
13
+
10
14
jobs :
11
15
build :
12
16
strategy :
You can’t perform that action at this time.
0 commit comments