Disable instant loading, use built-in deploy feature

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

Hide file tree

Showing 2 changed files with 2 additions and 8 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -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