Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-23 07:13:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

CI: Limit concurency of WPT Export (#37257)

Browse source 
In https://github.com/servo/servo/pull/37255 I discovered that editing
PR title to soon will not take into affect until I manually rerun WPT
export (because first run that actually created PR hasn't done yet). We
can somehow resolve this by forbidding concurrent runs of WPT Export for
same PR and hope that first queued run is also firstly run.

docs:
https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/control-the-concurrency-of-workflows-and-jobs

Testing: This is CI

Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com>
This commit is contained in:
sagudev 2025-06-05 10:33:53 +02:00 • committed by GitHub
parent 36e78d1a3d
commit 6cc3e2934c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/pull-request-wpt-export.yml vendored
View file

@ -4,6 +4,10 @@ on:
types: ['opened', 'synchronize', 'reopened', 'edited', 'closed']
branches: ['main']
concurrency:
group: ${{ github.head_ref }}
cancel-in-progress: false
jobs:
upstream:
# Run job only on servo/servo