File tree Expand file tree Collapse file tree 1 file changed +12
-7
lines changed
Expand file tree Collapse file tree 1 file changed +12
-7
lines changed Original file line number Diff line number Diff line change 11name : Validate-Benchmarks
22
33on :
4- pull_request :
5- types :
6- - opened
7- - synchronize
84 workflow_dispatch :
5+ inputs :
6+ pr_number :
7+ description : ' PR number for concurrency grouping'
8+ required : true
9+ type : string
10+ skip :
11+ description : ' Whether to skip benchmarks'
12+ required : true
13+ type : boolean
914
1015concurrency :
11- group : run-benchmarks-${{ github.ref }}
16+ group : run-benchmarks-${{ github.event.inputs.pr_number }}
1217 cancel-in-progress : true
1318
1419jobs :
1520 validate-benchmarks :
16- if : ${{ !contains( github.event.pull_request.labels.*.name, 'skip-validate-benchmarks') }}
21+ if : ${{ github.event.inputs.skip == 'false' }}
1722 runs-on : Benchmarking
1823 steps :
1924 - name : Checkout PR branch
2025 uses : actions/checkout@v4
2126 with :
22- ref : ${{ github.head_ref }}
27+ ref : ${{ github.event.inputs.pr_number }}
2328 fetch-depth : 0
2429
2530 - name : Install system dependencies
You can’t perform that action at this time.
0 commit comments