Skip to content

Revert "remove border, use padding top/bottom (#66012)" #158712

Revert "remove border, use padding top/bottom (#66012)"

Revert "remove border, use padding top/bottom (#66012)" #158712

Triggered via push October 10, 2024 14:15
Status Success
Total duration 22s
Artifacts
pull-request-automation
13s
pull-request-automation
Fit to window
Zoom out
Zoom in