Build docs with GitHub Actions (#452)

Also push docs previews
JuliaLang · Dec 15, 2020 · 15d6945 · 15d6945
1 parent bcbda7e
commit 15d6945
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/.github/workflows/Documenter.yml b/.github/workflows/Documenter.yml
@@ -0,0 +1,18 @@
+name: Documenter
+on:
+  push:
+    branches: [master]
+    tags: [v*]
+  pull_request:
+
+jobs:
+  Documenter:
+    name: Documentation
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: julia-actions/julia-buildpkg@latest
+      - uses: julia-actions/julia-docdeploy@latest
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
diff --git a/docs/make.jl b/docs/make.jl
@@ -25,4 +25,5 @@ makedocs(
 
 deploydocs(
     repo = "github.com/JuliaDebug/JuliaInterpreter.jl.git",
+    push_preview = true
 )