diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2020-03-19 10:47:26 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-19 10:47:26 -0400 |
| commit | 2b46d557aba3c5c8bf8cc60513c27f1b1b660ca0 (patch) | |
| tree | 46c8124216c980ad0aa04cbe38be4935b49e6d48 | |
| parent | 19c2ac2ed3ba6b2ea1b93c3581f171c60ae926de (diff) | |
| download | servo-2b46d557aba3c5c8bf8cc60513c27f1b1b660ca0.tar.gz servo-2b46d557aba3c5c8bf8cc60513c27f1b1b660ca0.zip | |
Reuse layout-2013 WPT results with layout-2020 when syncing.
| -rwxr-xr-x | etc/ci/update-wpt-checkout | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout index a796930e007..07ef5d60d6b 100755 --- a/etc/ci/update-wpt-checkout +++ b/etc/ci/update-wpt-checkout @@ -83,8 +83,10 @@ function unsafe_run_tests() { # last commit with the new results. function unsafe_update_metadata() { ./mach update-wpt "${1}" "${2}" "${3}" || return 1 + # Hope that any test result changes from layout-2013 are also applicable to layout-2020. + ./mach update-wpt --layout-2020 "${1}" "${2}" "${3}" || return 2 # Ensure any new directories or ini files are included in these changes. - git add tests/wpt/metadata tests/wpt/mozilla/meta || return 2 + git add tests/wpt/metadata tests/wpt/metadata-layout-2020 tests/wpt/mozilla/meta || return 3 # Merge all changes with the existing commit. git commit -a --amend --no-edit || return 3 } |