Skip to content

ci: extract devtools frontend to a separate group #800

ci: extract devtools frontend to a separate group

ci: extract devtools frontend to a separate group #800

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

presubmit.yml

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