Repository navigation

Deploy platforms.json to website repo - #359

Merged

lsf37 merged 2 commits into

lsf37/platforms-json-deploy

Nov 3, 2026

Merged

Deploy platforms.json to website repo#359
lsf37 merged 2 commits into
masterfrom
lsf37/platforms-json-deploy

Commits on Nov 3, 2026
- platforms.json: use filters for json template
  lsf37
  committed
  63b380c
- github: auto-deploy new platforms.json
  lsf37
  committed
  e8797b2