Also build documentation as part of PRs

pguyot · Jul 1, 2023 · ab9bd47 · ab9bd47
1 parent 18f544c
commit ab9bd47
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -36,3 +36,19 @@ jobs:
         . $IDF_PATH/export.sh
         idf.py reconfigure
         idf.py build
+
+  build-doc:
+    runs-on: ubuntu-latest
+    container: erlang:26
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+      - name: Setup Pages
+        uses: actions/configure-pages@v3
+      - name: Build edoc
+        run: |
+          rebar3 edoc
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v1
+        with:
+          path: doc