From 76040d5cd29a2c822746e3275eacfdb294770098 Mon Sep 17 00:00:00 2001 From: schillic Date: Tue, 15 Oct 2024 22:50:50 +0200 Subject: [PATCH] Aqua v0.8.9 tests only for local ambiguities --- test/Aqua.jl | 5 +---- test/Project.toml | 2 +- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/test/Aqua.jl b/test/Aqua.jl index f341422841..26e7f21a18 100644 --- a/test/Aqua.jl +++ b/test/Aqua.jl @@ -3,10 +3,7 @@ import Aqua @testset "Aqua tests" begin # note that the check `persistent_tasks` may take several minutes - Aqua.test_all(ReachabilityAnalysis; ambiguities=false, + Aqua.test_all(ReachabilityAnalysis; # the piracies should be resolved in the future piracies=(broken=true,)) - - # do not warn about ambiguities in dependencies - Aqua.test_ambiguities(ReachabilityAnalysis) end diff --git a/test/Project.toml b/test/Project.toml index 19efd7a84f..fa5e67894c 100644 --- a/test/Project.toml +++ b/test/Project.toml @@ -17,7 +17,7 @@ TaylorModels = "314ce334-5f6e-57ae-acf6-00b6e903104a" Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" [compat] -Aqua = "0.8" +Aqua = "0.8.9" CDDLib = "0.5 - 0.9" Expokit = "0.2" Flowstar = "0.2.4"