mirror of
https://github.com/servo/servo.git
synced 2025-07-02 21:13:39 +01:00
Pick up fix in https://github.com/servo/servo/pull/21749
This commit is contained in:
parent
64bf9649fa
commit
5a950d1924
1 changed files with 2 additions and 2 deletions
|
@ -19,8 +19,8 @@ def main():
|
|||
|
||||
# FIXME: remove this before merging in servo/servo
|
||||
os.environ["GIT_URL"] = "https://github.com/SimonSapin/servo"
|
||||
os.environ["GIT_REF"] = "refs/heads/taskcluster-experiments-20180918"
|
||||
os.environ["GIT_SHA"] = "605d74c59b6de7ae2b535d42fde40405a96b67e0"
|
||||
os.environ["GIT_REF"] = "refs/heads/taskcluster-experiments-20180920"
|
||||
os.environ["GIT_SHA"] = "a6dbfdd29f9b3f0ce0c13adc79fad99538a9a44b"
|
||||
decision.docker_image_cache_expiry = "1 week"
|
||||
decision.route_prefix = "project.servo.servo-taskcluster-experiments"
|
||||
# ~
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue