Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Address WPT sync problems from nightly run.

Browse source 
* 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
This commit is contained in:
Josh Matthews 2018-01-29 09:22:14 -05:00
parent e94a25949c
commit 3e323345a3
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
etc/ci/update-wpt-checkout
View file

@ -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
}