Skip to content

ci: extract devtools frontend to a separate group #802

ci: extract devtools frontend to a separate group

ci: extract devtools frontend to a separate group #802

Triggered via pull request October 12, 2025 13:55
Status Success
Total duration 1m 3s
Artifacts

presubmit.yml

on: pull_request
[Required] Check correct format
46s
[Required] Check correct format
[Required] Check docs updated
1m 1s
[Required] Check docs updated
Fit to window
Zoom out
Zoom in