Skip to content

workaround for editor border lines missing #4647

workaround for editor border lines missing

workaround for editor border lines missing #4647

Triggered via pull request February 17, 2025 18:12
Status Success
Total duration 2m 39s
Artifacts

ci.yml

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