Skip to content
docs

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

Sign in to view logs

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

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

Triggered via pull request November 27, 2023 14:48
@guidocellaguidocella
synchronize #12959
guidocella:osd-bar-border-size
Status Success
Total duration 26s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docs.yml

on: pull_request
check-docs
14s
check-docs
Fit to window
Zoom out
Zoom in