CI: add document building dry-run on PR

Signed-off-by: Erik Buer <buer94@gmail.com>
JuliaTelecom · Dec 29, 2023 · 314256a · 314256a
1 parent 2bf8150
commit 314256a
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/BuildDocDryRun.yml b/.github/workflows/BuildDocDryRun.yml
@@ -0,0 +1,17 @@
+name: DocumentationDryRun
+
+on: [push, pull_request]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: julia-actions/setup-julia@latest
+        with:
+          version: '1.6'
+      - name: Install dependencies
+        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
+      - name: Build and deploy
+        run: julia --project=docs/ docs/make.jl
+