Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-24 17:14:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #29570 - sagudev:patch-4, r=jdm

Browse source 
Update wpt-nightly-update.sh with right paths from workflows

Fixup to #29534 as wpt-logs-linux are separated per folders not per file.
This commit is contained in:
bors-servo 2023-04-01 20:20:18 +02:00 • committed by GitHub
commit 6b33738006
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
etc/ci/wpt-nightly-update.sh
View file

@ -12,9 +12,9 @@ set -o pipefail
# results and amend the last commit with the new results. # results and amend the last commit with the new results.
function unsafe_update_metadata_chunk() { function unsafe_update_metadata_chunk() {
./mach update-wpt \ ./mach update-wpt \
"wpt-logs-linux/test-wpt.layout-2013.${1}.log" || return 1 "wpt-logs-linux-layout-2013/test-wpt.${1}.log" || return 1
./mach update-wpt --layout-2020 \ ./mach update-wpt --layout-2020 \
"wpt-logs-linux/test-wpt.layout-2020.${1}.log" || return 2 "wpt-logs-linux-layout-2020/test-wpt.${1}.log" || return 2
# Ensure any new directories or ini files are included in these changes. # Ensure any new directories or ini files are included in these changes.
git add tests/wpt/metadata \ git add tests/wpt/metadata \