Skip to content

#10936: Add resource name in the window title of the browser #3762

#10936: Add resource name in the window title of the browser

#10936: Add resource name in the window title of the browser #3762

Triggered via pull request March 25, 2025 14:22
Status Success
Total duration 9m 34s
Artifacts

CI.yml

on: pull_request
Fit to window
Zoom out
Zoom in