Merge pull request #36 from JuliaReach/schillic/aqua

Aqua v0.8.9 tests only for local ambiguities
JuliaReach · Oct 18, 2024 · 481e878 · 481e878
2 parents e4b76f6 + 372b99f
commit 481e878
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 5 deletions.
diff --git a/test/Aqua.jl b/test/Aqua.jl
@@ -2,8 +2,5 @@ using NeuralNetworkReachability, Test
 import Aqua
 
 @testset "Aqua tests" begin
-    Aqua.test_all(NeuralNetworkReachability; ambiguities=false)
-
-    # do not warn about ambiguities in dependencies
-    Aqua.test_ambiguities(NeuralNetworkReachability)
+    Aqua.test_all(NeuralNetworkReachability)
 end
diff --git a/test/Project.toml b/test/Project.toml
@@ -10,7 +10,7 @@ ReachabilityAnalysis = "1e97bd63-91d1-579d-8e8d-501d2b57c93f"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
-Aqua = "0.8"
+Aqua = "0.8.9"
 CDDLib = "0.6 - 0.9"
 ControllerFormats = "0.2"
 IntervalConstraintProgramming = "0.9 - 0.13"