Skip to content

Fix borders around header by fixing workspace size calculations #5619

Fix borders around header by fixing workspace size calculations

Fix borders around header by fixing workspace size calculations #5619

Triggered via push October 15, 2024 21:49
Status Success
Total duration 8m 51s
Artifacts
Fit to window
Zoom out
Zoom in