Merge pull request #309 from JuliaReach/schillic/aqua

Aqua v0.8.9 tests only for local ambiguities
JuliaReach · Oct 19, 2024 · 0500fd6 · 0500fd6
2 parents 3aed95e + 257b020
commit 0500fd6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/test/Aqua.jl b/test/Aqua.jl
@@ -2,9 +2,5 @@ using MathematicalSystems, Test
 import Aqua
 
 @testset "Aqua tests" begin
-    Aqua.test_all(MathematicalSystems;
-                  ambiguities=false)
-
-    # do not warn about ambiguities in dependencies
-    Aqua.test_ambiguities(MathematicalSystems)
+    Aqua.test_all(MathematicalSystems)
 end
diff --git a/test/Project.toml b/test/Project.toml
@@ -9,7 +9,7 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 TypedPolynomials = "afbbf031-7a57-5f58-a1b9-b774a0fad08d"
 
 [compat]
-Aqua = "0.8"
+Aqua = "0.8.9"
 LazySets = "1, 2"
 RecipesBase = "1"
 TypedPolynomials = "0.3, 0.4"