Allow preview docs to be pushed on PRs

see JuliaDocs/Documenter.jl#1180
JuliaDynamics · Feb 9, 2020 · da95eb0 · da95eb0
1 parent 0b7d0a0
commit da95eb0
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,6 +1,6 @@
 using Pkg
 Pkg.activate(@__DIR__)
-CI = get(ENV, "CI", nothing) == "true"
+CI = get(ENV, "CI", nothing) == "true" || get(ENV, "GITHUB_TOKEN", nothing) !== nothing
 using DrWatson
 using Documenter, DataFrames, Parameters, Dates, BSON, JLD2
 
@@ -26,6 +26,9 @@ pages = [
 )
 
 if CI
-    deploydocs(repo = "github.com/JuliaDynamics/DrWatson.jl.git",
-               target = "build")
+    deploydocs(
+        repo = "github.com/JuliaDynamics/DrWatson.jl.git",
+        target = "build",
+        push_preview = true
+    )
 end