Skip to content
lint

options: add --osd-bar-border-size #3001

Sign in to view logs

options: add --osd-bar-border-size

options: add --osd-bar-border-size #3001

Triggered via pull request November 27, 2023 14:48
@guidocellaguidocella
synchronize #12959
guidocella:osd-bar-border-size
Status Success
Total duration 19s
Artifacts –

lint.yml

on: pull_request
commit-msg
6s
commit-msg
Fit to window
Zoom out
Zoom in