mirror of
https://github.com/servo/servo.git
synced 2025-08-17 19:35:33 +01:00
Customizable wpt options and profile in workflows (#30912)
* wpt -> wpt-sync * Add profile configuration option * Add wpt (for custom tests selection) to CI * Renaming of wpt-* options * fixup! do renames also in scripts * fixup! profile * Fix try labels
This commit is contained in:
parent
81f5157522
commit
1f0f50b22b
7 changed files with 105 additions and 61 deletions
14
.github/workflows/try.yml
vendored
14
.github/workflows/try.yml
vendored
|
@ -22,7 +22,7 @@ jobs:
|
|||
function makeComment(body) {
|
||||
console.log(body);
|
||||
|
||||
if (github.event_name != 'pull_request_target')
|
||||
if (context.eventName != 'pull_request_target')
|
||||
return;
|
||||
|
||||
github.rest.issues.createComment({
|
||||
|
@ -61,7 +61,7 @@ jobs:
|
|||
if (tryString.includes("full")) {
|
||||
configuration.platforms = ["linux", "macos", "windows"];
|
||||
configuration.unit_tests = true;
|
||||
configuration.layout = "all";
|
||||
configuration.wpt_layout = "all";
|
||||
return configuration;
|
||||
}
|
||||
|
||||
|
@ -79,20 +79,22 @@ jobs:
|
|||
if (tryString.includes("wpt")) {
|
||||
addPlatformToConfiguration("linux", configuration);
|
||||
if (tryString.includes("2020")) {
|
||||
configuration.layout = combineWPTLayoutOptions(configuration.layout, "2020");
|
||||
configuration.wpt_layout = combineWPTLayoutOptions(configuration.layout, "2020");
|
||||
} else {
|
||||
configuration.layout = combineWPTLayoutOptions(configuration.layout, "2013");
|
||||
configuration.wpt_layout = combineWPTLayoutOptions(configuration.layout, "2013");
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
let configuration = {
|
||||
platforms: [],
|
||||
layout: "none",
|
||||
wpt_layout: "none",
|
||||
unit_tests: false,
|
||||
profile: "release",
|
||||
wpt_tests_to_run: "",
|
||||
};
|
||||
|
||||
if (github.event_name == 'pull_request_target') {
|
||||
if (context.eventName == 'pull_request_target') {
|
||||
for (const label of context.payload.pull_request.labels) {
|
||||
if (!label.name.startsWith("T-")) {
|
||||
continue;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue