From da95eb0fb35afbe87323e25fec74e097bfdc5db0 Mon Sep 17 00:00:00 2001 From: Anshul Singhvi Date: Sat, 8 Feb 2020 20:10:44 -0500 Subject: [PATCH] Allow preview docs to be pushed on PRs see https://github.com/JuliaDocs/Documenter.jl/pull/1180 --- docs/make.jl | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/docs/make.jl b/docs/make.jl index 5b73acbd..8eae5a68 100644 --- 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