Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

Clean up test results as part of WPT sync.

Browse source
This commit is contained in:
Josh Matthews 2019-09-25 12:41:02 -04:00
parent 6e7c58784d
commit c21f599b05
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -48,8 +48,11 @@ function unsafe_pull_from_upstream() {
# Update the manifest again to reach a fixed state (https://github.com/servo/servo/issues/22275).
./mach update-manifest || return 4
# Clean up any now-unused test results.
(python3 etc/unused_wpt_results.py | xargs rm -rfv) || return 5
# Amend the existing commit with the new changes from updating the manifest.
git commit -a --amend --no-edit || return 5
git commit -a --amend --no-edit || return 6
}
# Remove all local traces of this sync operation.