Fix coverage

carlobaldassi · Nov 21, 2016 · 990cc9c · 990cc9c
1 parent 9a47cb5
commit 990cc9c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/coverage.jl b/docs/coverage.jl
@@ -1,6 +1,6 @@
 # Only run coverage from linux release build on travis.
-get(ENV, "TRAVIS_OS_NAME", "")       == "linux"   || exit()
-get(ENV, "TRAVIS_JULIA_VERSION", "") == "release" || exit()
+get(ENV, "TRAVIS_OS_NAME", "")       == "linux" || exit()
+get(ENV, "TRAVIS_JULIA_VERSION", "") == "0.5"   || exit()
 
 using Coverage