add building docs in CI

Hmm, documentation wasn't updated for the last 6 months...
UniMainzGeo · Nov 14, 2023 · be3bc8b · be3bc8b
1 parent 795026c
commit be3bc8b
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -89,3 +89,21 @@ jobs:
         sudo -E cp -r deb64 deb
         cd ..
         julia --color=yes --depwarn=yes --inline=yes --project=. test/start_tests_CI.jl is64bit no_superlu
+  build_docs:
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v4
+      - uses: julia-actions/setup-julia@latest
+        with:
+          version: '1.6'
+      - name: Install dependencies 1
+        run: sudo apt-get update && sudo apt-get install -y xorg-dev mesa-utils xvfb libgl1 freeglut3-dev libxrandr-dev libxinerama-dev libxcursor-dev libxi-dev libxext-dev        
+      - name: Install dependencies 2
+        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
+        run: DISPLAY=:0 xvfb-run -s '-screen 0 1024x768x24' 
+             julia --project=docs/ docs/make.jl
+