Update Aqua.jl to support piracy tests (oscar-system#889)

HereAround · Jul 3, 2023 · 43288a5 · 43288a5
1 parent 7445244
commit 43288a5
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
@@ -10,6 +10,6 @@ using Aqua
  stale_deps=true,
  deps_compat=true,
  project_toml_formatting=true,
- piracy=false # TODO: fix
+ piracy=(GAP.use_jl_reinit_foreign_type() ? true : (treat_as_own=[GapObj],))
  )
 end
diff --git a/test/Project.toml b/test/Project.toml
@@ -5,4 +5,4 @@ Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
-Aqua = "0.6.2"
+Aqua = "0.6.5"