[docs] Output boards.json to site/ directory

This commit is contained in:
Kuba Szczodrzyński
2022-12-06 21:36:16 +01:00
parent 665ab22de5
commit e806c4db3a

View File

@@ -22,7 +22,10 @@ jobs:
run: pip install ltchiptool
- name: Generate static JSON files
run: python docs/build_json.py
run: |
mkdir -p site/
python docs/build_json.py
cp *.json site/
- name: Set custom domain
run: |