Update Docs.yml

shravanngoswamii · Oct 5, 2024 · d8b2e17 · d8b2e17
1 parent e6a950d
commit d8b2e17
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/.github/workflows/Docs.yml b/.github/workflows/Docs.yml
@@ -29,7 +29,13 @@ jobs:
         run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
       - name: Build and deploy
         env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
-          JULIA_DEBUG: Documenter # Print `@debug` statements (https://github.com/JuliaDocs/Documenter.jl/issues/955)
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
+          JULIA_DEBUG: Documenter
         run: julia --project=docs/ docs/make.jl
+
+      # Add DocsNav action
+      - name: Add Navbar
+        uses: shravanngoswamii/DocsNav@v1
+        with:
+          navbar-url: 'https://raw.githubusercontent.com/shravanngoswamii/DocsNav/main/scripts/TuringNavbar.html'