From c79e9b51e5fb37ddc6118b4f038f31721e8b8bd0 Mon Sep 17 00:00:00 2001 From: schillic Date: Fri, 13 Sep 2019 13:38:52 +0200 Subject: [PATCH 1/3] add Test to extras --- Project.toml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index f95d6164..c9da845f 100644 --- a/Project.toml +++ b/Project.toml @@ -44,6 +44,7 @@ TaylorSeries = "≥ 0.10.0" [extras] CDDLib = "3391f64e-dcde-5f30-b752-e11513730f60" Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029" +Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" [targets] -test = ["CDDLib", "Polyhedra"] +test = ["CDDLib", "Polyhedra", "Test"] From a9fe1525e280198bef49f33aa875df4e35293836 Mon Sep 17 00:00:00 2001 From: schillic Date: Fri, 13 Sep 2019 13:42:47 +0200 Subject: [PATCH 2/3] add v1.2 build in Travis --- .travis.yml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/.travis.yml b/.travis.yml index b2b5ba96..1a31c56c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -13,14 +13,16 @@ git: matrix: fast_finish: true allow_failures: - - julia: 1.1 # development versions + - julia: 1.2 # development versions env: TEST_SUITE='using Pkg; Pkg.develop("LazySets"); Pkg.develop("MathematicalSystems"); Pkg.develop("HybridSystems"); Pkg.develop("TaylorModels"); Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; DOCS=false include: - - julia: 1.1 # master versions - env: TEST_SUITE='using Pkg; Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; DOCS=false - julia: 1.0 # master versions env: TEST_SUITE='using Pkg; Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; DOCS=true - - julia: 1.1 # development versions + - julia: 1.1 # master versions + env: TEST_SUITE='using Pkg; Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; DOCS=false + - julia: 1.2 # master versions + env: TEST_SUITE='using Pkg; Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; DOCS=false + - julia: 1.2 # development versions env: TEST_SUITE='using Pkg; Pkg.develop("LazySets"); Pkg.develop("MathematicalSystems"); Pkg.develop("HybridSystems"); Pkg.develop("TaylorModels"); Pkg.build("Reachability"); Pkg.test("Reachability"; coverage=true)'; DOCS=false script: From daa7afa532c43805ecb4466b06d81f7e4ae60966 Mon Sep 17 00:00:00 2001 From: schillic Date: Fri, 13 Sep 2019 13:44:18 +0200 Subject: [PATCH 3/3] bound Julia version --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index c9da845f..be4466d3 100644 --- a/Project.toml +++ b/Project.toml @@ -23,7 +23,7 @@ TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a" TaylorSeries = "6aa5eb33-94cf-58f4-a9d0-e4b2c4fc25ea" [compat] -julia = "≥ 1.0.0" +julia = "1.0, 1.1, 1.2" Expokit = "≥ 0.2.0" HybridSystems = "≥ 0.3.0" IntervalArithmetic = "≥ 0.15.2"