Skip to content

ci: extract devtools frontend to a separate group #794

ci: extract devtools frontend to a separate group

ci: extract devtools frontend to a separate group #794

Triggered via pull request October 12, 2025 09:52
Status Success
Total duration 1m 5s
Artifacts

presubmit.yml

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