From f966c211e20dbd7339dd51c43d89d03f5a20e7a9 Mon Sep 17 00:00:00 2001 From: Pietro Vertechi Date: Tue, 21 Aug 2018 20:17:50 +0100 Subject: [PATCH] deploy docs on julia 1 (#255) --- docs/make.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/make.jl b/docs/make.jl index 4258a0b..5c12fcb 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -20,7 +20,7 @@ makedocs( deploydocs( repo = "github.com/JuliaGizmos/Interact.jl.git", target = "build", - julia = "0.6", + julia = "1.0", osname = "linux", deps = nothing, make = nothing