8000 script: when handling page headers, stop if pipeline closed already · servo/servo@05d4a39 · GitHub
[go: up one dir, main page]

Skip to content

script: when handling page headers, stop if pipeline closed already #4910

script: when handling page headers, stop if pipeline closed already

script: when handling page headers, stop if pipeline closed already #4910

Triggered via pull request August 25, 2025 11:25
@gterziangterzian
labeled #38739
Status Success
Total duration 41m 24s
Artifacts 5

try-label.yml

on: pull_request_target
Trigger Try
13s
Trigger Try
Matrix: run-try
Results
5s
Results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
cargo-timings-linux-release
186 KB
sha256:1eb1e5001073ad09fee4f19706692dcc673545bf155952f2b1961aa75fa73091
linux-release
62.1 MB
sha256:115251e7c3aaf7dec0640b817c3f55228642d4c68650e343449d340c3e6eb2ae
release-binary-linux
62.6 MB
sha256:8752ecd86ca339daa0d370149e8cc80f4dcecc2d72cf531f59512a01ddfc498d
wpt-filtered-logs-linux
672 KB
sha256:b876b1ef1e854f7a0f90b4f3c5e23bf0b04819c556c4fa938743f95f407d5626
wpt-full-logs-linux
42.1 MB
sha256:9946c0d672a3fb561141f9149f4b953d9a24c2f24d9c206ca5b45c45b986dbe3
0