Skip to content
Lint

Docs: Handle border-radii and border in an easier way #24496

Sign in to view logs

Docs: Handle border-radii and border in an easier way

Docs: Handle border-radii and border in an easier way #24496

Triggered via pull request November 15, 2023 09:15
@louismaximepitonlouismaximepiton
synchronize #39328
main-lmp-docs-example-refactoring
Status Success
Total duration 32s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint.yml

on: pull_request
lint
21s
lint
Fit to window
Zoom out
Zoom in