Merge pull request #132 from JuliaReach/schillic/aqua

Aqua v0.8.9 tests only for local ambiguities
JuliaReach · Oct 18, 2024 · 818adcf · 818adcf
2 parents 94146c8 + a5eb8b0
commit 818adcf
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 ReachabilityModels, Test
 import Aqua
 
 @testset "Aqua tests" begin
-    Aqua.test_all(ReachabilityModels; ambiguities=false)
-
-    # do not warn about ambiguities in dependencies
-    Aqua.test_ambiguities(ReachabilityModels)
+    Aqua.test_all(ReachabilityModels)
 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"