Skip to content

ui: show region in header gutter when only one region exists #16114

ui: show region in header gutter when only one region exists

ui: show region in header gutter when only one region exists #16114

Triggered via pull request November 2, 2024 01:57
Status Success
Total duration 27s
Artifacts

semgrep.yml

on: pull_request
Semgrep Scan
18s
Semgrep Scan
Fit to window
Zoom out
Zoom in