Build docs with GitHub Actions (#452)

Also push docs previews

Author: timholy

.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 }}

docs/make.jl

@@ -25,4 +25,5 @@ makedocs(
 
 deploydocs(
     repo = "github.com/JuliaDebug/JuliaInterpreter.jl.git",
+    push_preview = true
 )