mirror of
https://github.com/servo/servo.git
synced 2025-08-05 13:40:08 +01:00
Allow pushing updated WPT results to git remote.
This commit is contained in:
parent
2406d0973a
commit
ceff9a61ef
2 changed files with 8 additions and 7 deletions
|
@ -490,7 +490,8 @@ def update_wpt():
|
|||
"etc/taskcluster/macos/Brewfile-wpt",
|
||||
"etc/taskcluster/macos/Brewfile-gstreamer",
|
||||
])
|
||||
.with_repo()
|
||||
# Pushing the new changes to the git remote requires a full repo clone.
|
||||
.with_repo(shallow=False)
|
||||
.with_curl_artifact_script(build_task, "target.tar.gz")
|
||||
.with_script("""
|
||||
export PKG_CONFIG_PATH="$(brew --prefix libffi)/lib/pkgconfig/"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue