[TEST]

roboticslab-uc3m · Nov 14, 2023 · 88be57b · 88be57b
1 parent 26dabe8
commit 88be57b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 9 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -3,7 +3,7 @@ name: GitHub Pages
 on:
   push:
     branches:
-    - master
+    - mkdocs # FIXME
     paths-ignore:
     - README.md
     - CONTRIBUTING.md
@@ -22,10 +22,5 @@ jobs:
         fetch-depth: 0 # for the 'Last updated' timestamp
     - name: Install requirements
       run: pip install -r requirements.txt
-    - name: Build site
-      run: mkdocs build
-    - uses: crazy-max/ghaction-github-pages@v4
-      with:
-        build_dir: site
-      env:
-        GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
+    - name: Build and deploy site
+      run: mkdocs gh-deploy --no-history
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -14,7 +14,6 @@ theme:
     - content.action.view
     - navigation.footer
     - navigation.indexes
-    - navigation.instant
     - navigation.sections
     - navigation.top
     - navigation.tracking