Skip to content

Update graphical interface with new branding #2891

Update graphical interface with new branding

Update graphical interface with new branding #2891

Triggered via pull request February 13, 2026 11:44
Status Skipped
Total duration 1s
Artifacts

tools.yml

on: pull_request
Fit to window
Zoom out
Zoom in