Bump Aqua.jl to 0.6.2 (#2440)

oscar-system · Jun 1, 2023 · a94bc0e · a94bc0e
1 parent 1d0b766
commit a94bc0e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/test/Aqua.jl b/test/Aqua.jl
@@ -7,7 +7,7 @@ using Aqua
     unbound_args=false,     # TODO: fix unbound type parameters
     undefined_exports=true,
     project_extras=true,
-    stale_deps=false,       # some weird error with GAP_lib_jll
+    stale_deps=true,
     deps_compat=true,
     project_toml_formatting=true,
     piracy=false,           # TODO: check the reported methods to be moved upstream

diff --git a/test/Project.toml b/test/Project.toml
@@ -6,4 +6,4 @@ Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
-Aqua = "0.6"
+Aqua = "0.6.2"