Merge pull request #402 from JuliaReach/schillic/aqua

Aqua v0.8.9 tests only for local ambiguities
JuliaReach · Oct 18, 2024 · 8322fc3 · 8322fc3
2 parents c309ae2 + 472b065
commit 8322fc3
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 ClosedLoopReachability, Test
 import Aqua
 
 @testset "Aqua tests" begin
-    Aqua.test_all(ClosedLoopReachability; ambiguities=false)
-
-    # do not warn about ambiguities in dependencies
-    Aqua.test_ambiguities(ClosedLoopReachability)
+    Aqua.test_all(ClosedLoopReachability)
 end
diff --git a/test/Project.toml b/test/Project.toml
@@ -3,4 +3,4 @@ Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
-Aqua = "0.8"
+Aqua = "0.8.9"