Merge pull request #111 from JuliaReach/schillic/aqua

Aqua v0.8.9 tests only for local ambiguities
JuliaReach · Oct 18, 2024 · 562b466 · 562b466
2 parents 7a15012 + e4d6443
commit 562b466
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 SpaceExParser, Test
 import Aqua
 
 @testset "Aqua tests" begin
-    Aqua.test_all(SpaceExParser; ambiguities=false)
-
-    # do not warn about ambiguities in dependencies
-    Aqua.test_ambiguities(SpaceExParser)
+    Aqua.test_all(SpaceExParser)
 end
diff --git a/test/Project.toml b/test/Project.toml
@@ -7,7 +7,7 @@ MathematicalSystems = "d14a8603-c872-5ed3-9ece-53e0e82e39da"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
-Aqua = "0.8"
+Aqua = "0.8.9"
 EzXML = "1"
 HybridSystems = "0.4"
 LazySets = "2.14"