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

ci: Fix WPT try layout configuration (#31118)

Browse source 
The member `layout` was renamed to `wpt_layout`, but not in all places.
This fixes that issue.
This commit is contained in:
Martin Robinson 2024-01-18 13:11:56 +01:00 • committed by GitHub
parent d9cb4445ff
commit c3fd27c225
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/try.yml vendored
View file

@ -79,9 +79,9 @@ jobs:
if (tryString.includes("wpt")) { if (tryString.includes("wpt")) {
addPlatformToConfiguration("linux", configuration); addPlatformToConfiguration("linux", configuration);
if (tryString.includes("2020")) { if (tryString.includes("2020")) {
configuration.wpt_layout = combineWPTLayoutOptions(configuration.layout, "2020"); configuration.wpt_layout = combineWPTLayoutOptions(configuration.wpt_layout, "2020");
} else { } else {
configuration.wpt_layout = combineWPTLayoutOptions(configuration.layout, "2013"); configuration.wpt_layout = combineWPTLayoutOptions(configuration.wpt_layout, "2013");
} }
} }
} }
@ -150,7 +150,7 @@ jobs:
const formattedURL = "[#" + context.runId + "](" + url + ")"; const formattedURL = "[#" + context.runId + "](" + url + ")";
let platformsString = configuration.platforms.toString(); let platformsString = configuration.platforms.toString();
makeComment("🔨 Triggering try run (" + formattedURL + ") with platforms=" + makeComment("🔨 Triggering try run (" + formattedURL + ") with platforms=" +
platformsString + " and layout=" + configuration.layout); platformsString + " and layout=" + configuration.wpt_layout);
return configuration; return configuration;
run-try: run-try: