Skip to content

workaround for editor border lines missing #4622

workaround for editor border lines missing

workaround for editor border lines missing #4622

Triggered via pull request February 9, 2025 15:05
Status Success
Total duration 2m 37s
Artifacts

ci.yml

on: pull_request
Linux-autoTests
2m 30s
Linux-autoTests
Fit to window
Zoom out
Zoom in