Merge pull request #191 from JuliaReach/schillic/aqua

Aqua v0.8.9 tests only for local ambiguities
JuliaReach · Oct 18, 2024 · 2e181b3 · 2e181b3
2 parents a4e943c + a616856
commit 2e181b3
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 RangeEnclosures, Test
 import Aqua
 
 @testset "Aqua tests" begin
-    Aqua.test_all(RangeEnclosures; ambiguities=false)
-
-    # do not warn about ambiguities in dependencies
-    Aqua.test_ambiguities(RangeEnclosures)
+    Aqua.test_all(RangeEnclosures)
 end
diff --git a/test/Project.toml b/test/Project.toml
@@ -11,7 +11,7 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
 AffineArithmetic = "0.2"
-Aqua = "0.8"
+Aqua = "0.8.9"
 Documenter = "0.27, 1"
 # DynamicPolynomials v0.6 leads to conflict with PolyJuMP, which requires IntervalArithmetic v0.22
 DynamicPolynomials = "0.3 - 0.5, =0.5"