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

Auto merge of #23605 - servo:jdm-patch-28, r=SimonSapin

Browse source 
Always create a WPT update task.

This fixes #23603.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/23605)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2019-06-25 11:01:05 -04:00 • committed by GitHub
commit e100af57a5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/taskcluster/decision_task.py
View file

@ -535,7 +535,7 @@ def update_wpt():
./etc/ci/update-wpt-checkout open-pr ./etc/ci/update-wpt-checkout open-pr
./etc/ci/update-wpt-checkout cleanup ./etc/ci/update-wpt-checkout cleanup
""") """)
.find_or_create("wpt_update." + CONFIG.task_id()) .create()
) )