Skip to content

feat(settings): add JSON editor indentation option (2 or 4 spaces) #211

feat(settings): add JSON editor indentation option (2 or 4 spaces)

feat(settings): add JSON editor indentation option (2 or 4 spaces) #211

Triggered via pull request February 27, 2026 18:00
Status Skipped
Total duration 1s
Artifacts

publish-to-gh-pages.yml

on: pull_request
publish-to-gh-pages
0s
publish-to-gh-pages
Fit to window
Zoom out
Zoom in