Merge pull request #608 from JuliaReach/schillic/require_travis

Update Travis settings
JuliaReach · Apr 4, 2019 · cb7a0b3 · cb7a0b3
2 parents d5488ca + c8d8e57
commit cb7a0b3
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)'