Repository navigation

Add typed JSON output to theme profile - #8921

Merged

gonzaloriestra merged 4 commits into

gonzalo/json-theme-checkfrom

gonzalo/json-theme-profile

Oct 19, 2026

Merged

Add typed JSON output to theme profile#8921
gonzaloriestra merged 4 commits into
gonzalo/json-theme-checkfrom
gonzalo/json-theme-profile

Commits on Oct 19, 2026
- Add typed JSON output to theme profile
  gonzaloriestra
  committed
  a2ca826
- Align theme profile environment JSON with conventions
  gonzaloriestra
  committed
  311a4de
- Refresh theme profile JSON schema documentation
  gonzaloriestra
  committed
  a8e2534
- Refresh JSON schema documentation after rebase
  gonzaloriestra
  committed
  04883cc