Skip to content

Adding tab borders #28218

Adding tab borders

Adding tab borders #28218

Triggered via pull request February 6, 2025 16:36
@matthewshavermatthewshaver
synchronize #6593
Status Success
Total duration 17s
Artifacts

labelsizer.yml

on: pull_request_target
Label the PR size
8s
Label the PR size
Fit to window
Zoom out
Zoom in