Skip to content

Improve how formatting is applied in the editor #1397

Improve how formatting is applied in the editor

Improve how formatting is applied in the editor #1397

Triggered via pull request November 12, 2023 19:38
Status Success
Total duration 1m 53s
Artifacts

test_linux.yml

on: pull_request
Matrix: testLinux
Fit to window
Zoom out
Zoom in