Skip to content

fix(core): remove port range option for start devtools server #215

fix(core): remove port range option for start devtools server

fix(core): remove port range option for start devtools server #215

Triggered via push December 23, 2025 11:55
Status Success
Total duration 1m 51s
Artifacts
release  /  Release Commit
1m 46s
release / Release Commit
Fit to window
Zoom out
Zoom in

Annotations

1 notice
release / Release Commit
{ "workflowData": { "owner": "vitejs", "repo": "devtools", "sha": "c26154d1029cda9c7c8488813d702ee40d77cd22", "ref": "main" }, "key": "BD1Wul4ZIR", "runId": 20460053536, "webhookDebug": { "action": "requested", "head_branch": "main", "head_repository_full_name": "vitejs/devtools", "full_name": "vitejs/devtools", "isPullRequest": false, "prNumber": null, "prNumberType": "object", "isNewPullRequest": false, "isOldPullRequest": false, "prKey": "vitejs/devtools:main", "oldPrDataHash": "yLyFWC9WJ9", "lookupKey": "yLyFWC9WJ9", "data": { "owner": "vitejs", "repo": "devtools", "sha": "c26154d1029cda9c7c8488813d702ee40d77cd22", "ref": "main" } } }