Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 22:15:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

CI: Add number_of_chunks (#36584)

Browse source 
This allows changing number of chunks used for WPT testing (sometimes
useful for WebGPU).

Testing: Manual try runs
Fixes: #30062

---------

Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com>
This commit is contained in:
sagudev 2025-04-18 08:38:28 +02:00 • committed by GitHub
parent 5e2d42e944
commit bd9242acfa
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
7 changed files with 44 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/dispatch-workflow.yml vendored
View file

@ -14,6 +14,9 @@ on:
wpt:
required: true
type: boolean
number-of-wpt-chunks:
required: true
type: number
unit-tests:
required: true
type: boolean
@ -57,6 +60,7 @@ jobs:
with:
profile: ${{ inputs.profile }}
wpt: ${{ inputs.wpt }}
number-of-wpt-chunks: ${{ inputs.number-of-wpt-chunks }}
unit-tests: ${{ inputs.unit-tests }}
build-libservo: ${{ inputs.build-libservo }}
wpt-args: ${{ inputs.wpt-args }}