File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2828env :
2929 MAVEN_OPTS : -Dhttp.keepAlive=false -Dmaven.wagon.http.pool=false -Dmaven.wagon.http.retryhandler.count=5 -Dmaven.wagon.httpconnectionManager.ttlSeconds=240
3030
31+ # Cancel running jobs when a new push happens to the same branch as otherwise it will
32+ # tie up too many resources without providing much value.
33+ concurrency :
34+ group : ${{ github.workflow }}-${{ github.ref }}
35+ cancel-in-progress : true
36+
3137jobs :
3238 build-linux-x86_64 :
3339 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 2828env :
2929 MAVEN_OPTS : -Dhttp.keepAlive=false -Dmaven.wagon.http.pool=false -Dmaven.wagon.http.retryhandler.count=5 -Dmaven.wagon.httpconnectionManager.ttlSeconds=240
3030
31+ # Cancel running jobs when a new push happens to the same branch as otherwise it will
32+ # tie up too many resources without providing much value.
33+ concurrency :
34+ group : ${{ github.workflow }}-${{ github.ref }}
35+ cancel-in-progress : true
36+
3137jobs :
3238 stage-snapshot-linux :
3339 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 2626permissions :
2727 contents : read
2828
29+ # Cancel running jobs when a new push happens to the same branch as otherwise it will
30+ # tie up too many resources without providing much value.
31+ concurrency :
32+ group : ${{ github.workflow }}-${{ github.ref }}
33+ cancel-in-progress : true
34+
2935jobs :
3036 tests :
3137 permissions :
Original file line number Diff line number Diff line change 2525env :
2626 MAVEN_OPTS : -Dhttp.keepAlive=false -Dmaven.wagon.http.pool=false -Dmaven.wagon.http.retryhandler.count=5 -Dmaven.wagon.httpconnectionManager.ttlSeconds=240
2727
28+ # Cancel running jobs when a new push happens to the same branch as otherwise it will
29+ # tie up too many resources without providing much value.
30+ concurrency :
31+ group : ${{ github.workflow }}-${{ github.ref }}
32+ cancel-in-progress : true
33+
2834jobs :
2935 build-pr :
3036 strategy :
Original file line number Diff line number Diff line change 2222env :
2323 MAVEN_OPTS : -Dhttp.keepAlive=false -Dmaven.wagon.http.pool=false -Dmaven.wagon.http.retryhandler.count=5 -Dmaven.wagon.httpconnectionManager.ttlSeconds=240
2424
25+ # Cancel running jobs when a new push happens to the same branch as otherwise it will
26+ # tie up too many resources without providing much value.
27+ concurrency :
28+ group : ${{ github.workflow }}-${{ github.ref }}
29+ cancel-in-progress : true
30+
2531jobs :
2632 prepare-release :
2733 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 2828env :
2929 MAVEN_OPTS : -Dhttp.keepAlive=false -Dmaven.wagon.http.pool=false -Dmaven.wagon.http.retryhandler.count=5 -Dmaven.wagon.httpconnectionManager.ttlSeconds=240
3030
31+ # Cancel running jobs when a new push happens to the same branch as otherwise it will
32+ # tie up too many resources without providing much value.
33+ concurrency :
34+ group : ${{ github.workflow }}-${{ github.ref }}
35+ cancel-in-progress : true
36+
3137jobs :
3238 install-jars-linux-aarch64 :
3339 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 2727env :
2828 MAVEN_OPTS : -Dhttp.keepAlive=false -Dmaven.wagon.http.pool=false -Dmaven.wagon.http.retryhandler.count=5 -Dmaven.wagon.httpconnectionManager.ttlSeconds=240
2929
30+ # Cancel running jobs when a new push happens to the same branch as otherwise it will
31+ # tie up too many resources without providing much value.
32+ concurrency :
33+ group : ${{ github.workflow }}-${{ github.ref }}
34+ cancel-in-progress : true
35+
3036jobs :
3137 analyze :
3238 name : Analyze
You can’t perform that action at this time.
0 commit comments