made updating docs part of the publishing workflow

zauberzeug · Oct 31, 2022 · 08f831f · 08f831f
1 parent 81ab109
commit 08f831f
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 27 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -94,3 +94,25 @@ jobs:
           destination_container_repo: zauberzeug/rosys
           provider: dockerhub
           short_description: "A robot system based on web technologies with focus on autonomous mobile robots."
+
+  docs:
+    runs-on: ubuntu-latest
+    needs: pypi
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: Set up Python
+        uses: actions/setup-python@v2
+        with:
+          python-version: "3.11"
+      - name: Install dependencies
+        run: |
+          python3 -m pip install -r mkdocs_requirements.txt
+          python3 -m pip install -e .
+      - name: Build docs
+        run: mkdocs build -v
+      - name: Deploy gh-pages
+        uses: JamesIves/github-pages-deploy-action@v4.2.5
+        with:
+          branch: gh-pages
+          folder: site