mirror of
https://github.com/servo/servo.git
synced 2025-08-13 09:25:32 +01:00
Update web-platform-tests to revision 155daf0c385420faf208b8bd5e319e244ec7f9cc
This commit is contained in:
parent
4e6b100c7e
commit
e9bdf87a27
768 changed files with 5782 additions and 26218 deletions
|
@ -1,3 +1,16 @@
|
|||
# This script is embedded in the docker image, and so the image must be updated when changes
|
||||
# to the script are made. To do this, assuming you have docker installed:
|
||||
# In tools/docker/ :
|
||||
# docker build .
|
||||
# docker ps # and look for the id of the image you just built
|
||||
# docker tag <image> <tag>
|
||||
# docker push <tag>
|
||||
# Edit tools/ci/taskgraph.py and update the docker_image = "<tag>" line
|
||||
# In the project root:
|
||||
# ./wpt make-tasks
|
||||
# Commit the changes with .taskcluster.yml changes in a separate commit for easier review
|
||||
|
||||
|
||||
#!/bin/bash
|
||||
set -ex
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue