Skip to content

block-padding: merge Padding and RawPadding traits (#1217) #1895

block-padding: merge Padding and RawPadding traits (#1217)

block-padding: merge Padding and RawPadding traits (#1217) #1895

Triggered via push September 21, 2025 08:49
Status Success
Total duration 2m 5s
Artifacts
minimal-versions  /  minimal-versions
26s
minimal-versions / minimal-versions
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in