config: build both targets on CI

2026-07-27 19:57:02 +00:00 · 2021-01-18 14:36:13 +01:00
parent db4cbe66c1
commit 2a2ba8c6aa
1 changed files with 4 additions and 2 deletions
@@ -32,6 +32,8 @@ jobs:
    - name: Build package
      run: poetry build
    - name: Lint docs
-      run: poetry run doc8 --extension .inc
-    - name: Build html docs
+      run: poetry run doc8
+    - name: Build html docs for Read the Docs
      run: poetry run make -C doc html
+    - name: Build html docs for Pybricks Code IDE
+      run: poetry run make -C doc html SOURCEDIR=ide