Add travis_wait

GiovineItalia · Nov 10, 2019 · 3b34572 · 3b34572
1 parent a8552ba
commit 3b34572
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -27,7 +27,7 @@ jobs:
       before_script:
       script:
         - julia --color=yes --project=docs -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
-        - julia --color=yes --project=docs --color=yes docs/make.jl
+        - travis_wait julia --color=yes --project=docs --color=yes docs/make.jl
       after_success: skip
     - stage: "Edge"
       os: linux