update Travis settings

JuliaReach · Apr 4, 2019 · c8d8e57 · c8d8e57
1 parent d5488ca
commit c8d8e57
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -10,11 +10,13 @@ git:
 matrix:
  fast_finish: true
  allow_failures:
-   - julia: nightly
+   - julia: 1.1  # development versions
      env: TEST_SUITE='using Pkg; Pkg.develop("LazySets"); Pkg.develop("MathematicalSystems"); Pkg.develop("HybridSystems"); Pkg.develop("TaylorModels"); Pkg.clone(pwd()); Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'
  include:
    - julia: 1.1  # master versions
      env: TEST_SUITE='using Pkg; Pkg.clone(pwd()); Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'
+   - julia: 1.0  # master versions
+     env: TEST_SUITE='using Pkg; Pkg.clone(pwd()); Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'
    - julia: 1.1  # development versions
      env: TEST_SUITE='using Pkg; Pkg.develop("LazySets"); Pkg.develop("MathematicalSystems"); Pkg.develop("HybridSystems"); Pkg.develop("TaylorModels"); Pkg.clone(pwd()); Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'