Skip to content
pre-commit

panelprovider: remove panel border radius override #83640

Sign in to view logs

panelprovider: remove panel border radius override

panelprovider: remove panel border radius override #83640

Triggered via pull request February 11, 2025 14:32
@JonasBaJonasBa
synchronize #84932
jb/theme/panelprovider
Status Success
Total duration 50s
Artifacts –

pre-commit.yml

on: pull_request
pre-commit lint
38s
pre-commit lint
Fit to window
Zoom out
Zoom in