File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2222 merge_group :
2323
2424concurrency :
25- group : ${{ github.workflow }}-${{ github.ref }}
26- cancel-in-progress : true
25+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
26+ cancel-in-progress : ${{ github.ref_name != 'main' }}
27+
2728jobs :
2829 lint :
2930 permissions :
Original file line number Diff line number Diff line change 1616 - docs/**
1717
1818concurrency :
19- group : ${{ github.workflow }}-${{ github.ref }}
20- cancel-in-progress : true
19+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
20+ cancel-in-progress : ${{ github.ref_name != 'main' }}
2121
2222jobs :
2323 benchmark :
Original file line number Diff line number Diff line change @@ -11,6 +11,10 @@ permissions:
1111 contents : read
1212 id-token : write
1313
14+ concurrency :
15+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
16+ cancel-in-progress : ${{ github.ref_name != 'main' }}
17+
1418jobs :
1519 codspeed :
1620 name : Run benchmarks
Original file line number Diff line number Diff line change 1616 - docs/**
1717
1818concurrency :
19- group : ${{ github.workflow }}-${{ github.ref }}
20- cancel-in-progress : true
19+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
20+ cancel-in-progress : ${{ github.ref_name != 'main' }}
2121
2222jobs :
2323 build-pr :
You can’t perform that action at this time.
0 commit comments