Add Aqua.jl for some static testing

oscar-system · May 23, 2023 · 2a1d314 · 2a1d314
1 parent b8a6ef5
commit 2a1d314
Show file tree

Hide file tree

Showing 4 changed files with 20 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -13,8 +13,8 @@ Libdl = "8f399da3-3557-5675-b5ff-fb832c97cbdb"
 MacroTools = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09"
 Markdown = "d6f4376e-aef5-505a-96c1-9c027394607a"
 Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
-Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 REPL = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"
+Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 Scratch = "6c6a2e73-6563-6170-7368-637461726353"
 
 [compat]

diff --git a/test/Aqua.jl b/test/Aqua.jl
@@ -0,0 +1,15 @@
+using Aqua
+
+@testset "Aqua.jl" begin
+    Aqua.test_all(
+        GAP;
+        ambiguities=false,      # TODO: fix ambiguities
+        unbound_args=true,
+        undefined_exports=true,
+        project_extras=true,
+        stale_deps=false,       # some weird error with GAP_lib_jll
+        deps_compat=true,
+        project_toml_formatting=true,
+        piracy=false            # TODO: fix
+    )
+end
diff --git a/test/Project.toml b/test/Project.toml
@@ -1,6 +1,8 @@
 [deps]
+Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
+Aqua = "0.6"
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -2,6 +2,8 @@ using Test
 using Documenter
 using GAP
 
+include("Aqua.jl")
+
 include("basics.jl")
 include("adapter.jl")
 include("convenience.jl")