File tree Expand file tree Collapse file tree 4 files changed +8
-17
lines changed
Expand file tree Collapse file tree 4 files changed +8
-17
lines changed Original file line number Diff line number Diff line change @@ -9,10 +9,11 @@ concurrency:
99 cancel-in-progress : false
1010
1111on :
12- pull_request :
13- types : [labeled, synchronize]
14- branches : ["develop"]
15- workflow_dispatch : { }
12+ push :
13+ branches : ["operators-bench"]
14+
15+ env :
16+ VORTEX_OPERATORS : " true"
1617
1718permissions :
1819 actions : write # for removing labels
Original file line number Diff line number Diff line change @@ -8,11 +8,7 @@ name: CI
88concurrency :
99 group : ${{ github.workflow }}-${{ github.ref }}
1010 cancel-in-progress : ${{ github.ref != 'refs/heads/develop' }}
11- on :
12- push :
13- branches : [develop]
14- pull_request : { }
15- workflow_dispatch : { }
11+ on : { }
1612
1713permissions :
1814 actions : read
Original file line number Diff line number Diff line change @@ -4,10 +4,7 @@ concurrency:
44 group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
55 cancel-in-progress : true
66
7- on :
8- push :
9- branches : [develop]
10- workflow_dispatch : { }
7+ on : { }
118
129permissions :
1310 contents : read
Original file line number Diff line number Diff line change @@ -7,10 +7,7 @@ concurrency:
77 # Cancel outdated runs on PRs, but let all develop commits complete.
88 cancel-in-progress : ${{ github.ref != 'refs/heads/develop' }}
99
10- on :
11- push :
12- branches : [develop]
13- pull_request : { }
10+ on : { }
1411
1512jobs :
1613 reuse-check :
You can’t perform that action at this time.
0 commit comments