Aqua v0.8.9 tests only for local ambiguities

JuliaReach · Oct 15, 2024 · 76040d5 · 76040d5
1 parent 75a34c6
commit 76040d5
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
@@ -3,10 +3,7 @@ import Aqua
 
 @testset "Aqua tests" begin
     # note that the check `persistent_tasks` may take several minutes
-    Aqua.test_all(ReachabilityAnalysis; ambiguities=false,
+    Aqua.test_all(ReachabilityAnalysis;
                   # the piracies should be resolved in the future
                   piracies=(broken=true,))
-
-    # do not warn about ambiguities in dependencies
-    Aqua.test_ambiguities(ReachabilityAnalysis)
 end
diff --git a/test/Project.toml b/test/Project.toml
@@ -17,7 +17,7 @@ TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
-Aqua = "0.8"
+Aqua = "0.8.9"
 CDDLib = "0.5 - 0.9"
 Expokit = "0.2"
 Flowstar = "0.2.4"