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

Always create a WPT update task.

Browse source
This commit is contained in:
Josh Matthews 2019-06-21 16:05:15 -07:00 • committed by GitHub
parent 97ad913dc2
commit fc6f6bdda7
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()
) )