From f42d6b0578fc72f737b86a20e83096ac72025278 Mon Sep 17 00:00:00 2001 From: Kristoffer Carlsson Date: Mon, 3 Feb 2020 13:03:44 +0100 Subject: [PATCH] use Julia 1.3 for .travis hosting example (#1235) --- docs/src/man/hosting.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/src/man/hosting.md b/docs/src/man/hosting.md index 2711740289..f357c439a0 100644 --- a/docs/src/man/hosting.md +++ b/docs/src/man/hosting.md @@ -51,7 +51,7 @@ file. Note that the snippet below will not work by itself and must be accompanie jobs: include: - stage: "Documentation" - julia: 1.0 + julia: 1.3 os: linux script: - julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); @@ -62,7 +62,7 @@ jobs: where the `julia:` and `os:` entries decide the worker from which the docs are built and deployed. In the example above we will thus build and deploy the documentation from a linux -worker running Julia 1.0. For more information on how to setup a build stage, see the Travis +worker running Julia 1.3. For more information on how to setup a build stage, see the Travis manual for [Build Stages](https://docs.travis-ci.com/user/build-stages). The three lines in the `script:` section do the following: