Skip to content

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

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

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

Triggered via pull request April 4, 2026 18:35
Status Skipped
Total duration 7s
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