diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2019-09-25 12:41:02 -0400 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2019-09-25 12:41:02 -0400 |
| commit | c21f599b05ccc6808d73040417592a40467ca95d (patch) | |
| tree | 4e2b4e107dab80657bb90ae2ee32b053bb14308d | |
| parent | 6e7c58784d16e7aeaa1f67f4b41818a6ab94b792 (diff) | |
| download | servo-c21f599b05ccc6808d73040417592a40467ca95d.tar.gz servo-c21f599b05ccc6808d73040417592a40467ca95d.zip | |
Clean up test results as part of WPT sync.
| -rwxr-xr-x | etc/ci/update-wpt-checkout | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout index d0e603c1353..2b20fb0d058 100755 --- a/etc/ci/update-wpt-checkout +++ b/etc/ci/update-wpt-checkout @@ -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. |