File tree Expand file tree Collapse file tree 2 files changed +2
-11
lines changed
Expand file tree Collapse file tree 2 files changed +2
-11
lines changed Original file line number Diff line number Diff line change 11name : CI
22
33concurrency :
4+ # We could technically use `${{ github.workflow }}-${{ github.ref }}` here, but this is "safer" in
5+ # case someone decided to change the `cancel-in-progress` clause.
46 group : ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
57 cancel-in-progress : ${{ github.ref != 'refs/heads/develop' }}
68
911 branches : [develop]
1012 pull_request : { }
1113 workflow_dispatch : { }
12- # TODO(connor): Maybe add these path filters.
13- # paths-ignore:
14- # - '**.md'
15- # - 'docs/**'
16- # - 'benchmarks-website/**'
1714
1815permissions :
1916 actions : read
Original file line number Diff line number Diff line change @@ -7,12 +7,6 @@ concurrency:
77on :
88 push :
99 branches : [develop]
10- # TODO(connor): Maybe add these path filters.
11- # paths:
12- # - 'docs/**'
13- # - 'vortex-python/**'
14- # - 'java/**'
15- # - '**.rs'
1610 workflow_dispatch : { }
1711
1812permissions :
You can’t perform that action at this time.
0 commit comments