diff options
author | Josh Matthews <josh@joshmatthews.net> | 2018-01-29 09:22:14 -0500 |
---|---|---|
committer | Josh Matthews <josh@joshmatthews.net> | 2018-01-29 13:02:57 -0500 |
commit | 3e323345a3603a36252bec92a703debffde9309c (patch) | |
tree | c915e622fa5c63724685b03f1f4523c817f46b1c | |
parent | e94a25949c924e086e38ef6bdbdc935734415b26 (diff) | |
download | servo-3e323345a3603a36252bec92a703debffde9309c.tar.gz servo-3e323345a3603a36252bec92a703debffde9309c.zip |
Address WPT sync problems from nightly run.
* The commit author is inferred from the hostname
* There's no debug build present, so the update-manifest command exits immediately
* The test run opens too many files and is killed
-rwxr-xr-x | etc/ci/update-wpt-checkout | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout index 6203d464191..574be72e716 100755 --- a/etc/ci/update-wpt-checkout +++ b/etc/ci/update-wpt-checkout @@ -15,6 +15,8 @@ BRANCH_NAME="wpt_update_${CURRENT_DATE}" export GIT_AUTHOR_NAME="WPT Sync Bot" export GIT_AUTHOR_EMAIL="josh+wptsync@joshmatthews.net" +export GIT_COMMITTER_NAME="${GIT_AUTHOR_NAME}" +export GIT_COMMITTER_EMAIL="${GIT_AUTHOR_EMAIL}" # Retrieve the HEAD commit and extract its hash function latest_git_commit() { @@ -39,7 +41,7 @@ function unsafe_pull_from_upstream() { fi # Update the manifest to include the new changes. - ./mach update-manifest || return 3 + ./mach update-manifest --release || return 3 # Amend the existing commit with the new changes from updating the manifest. git commit -a --amend --no-edit || return 4 @@ -57,7 +59,7 @@ function cleanup() { # Build Servo and run the full WPT testsuite, saving the results to a log file. function unsafe_run_tests() { # Run the full testsuite and record the new test results. - ./mach test-wpt --release --processes 24 --log-raw "${1}" \ + ./mach test-wpt --release --processes 12 --log-raw "${1}" \ --always-succeed || return 1 } |