Merge pull request #38 from lgoettgens/patch-1

Only run doctests for packages with enabled tests

Project.toml

@@ -1,7 +1,7 @@
 name = "OscarDevTools"
 uuid = "4f01c588-2833-446a-9dbd-6331d80acb41"
 authors = ["Benjamin Lorenz <[email protected]>"]
-version = "0.2.18"
+version = "0.2.19"
 
 [deps]
 GitHub = "bc5e4493-9b4d-5f90-b8aa-2b2bcaad7a26"

src/OscarCI.jl

@@ -343,13 +343,15 @@ function github_env_run_doctests(job::Dict; varname::String, filename::String)
               "include(\"$(@__DIR__)/doctest_helper.jl\");"
              ]
    for (pkg, param) in job
-      if get(ENV, "GITHUB_REPOSITORY", "") == "oscar-system/OscarDevTools.jl" &&
-         get(ENV, "OSCARCI_DONT_SKIP", false) != "true"
-         # for oscardevtools itself we just check if the package can be loaded
-         push!(testcmd, """using $pkg;""")
-      else
-         if pkg != "Polymake"
-            push!(testcmd, """using $pkg; @maybe_doctest($pkg);""")
+      if get(param, "test", false)
+         if get(ENV, "GITHUB_REPOSITORY", "") == "oscar-system/OscarDevTools.jl" &&
+            get(ENV, "OSCARCI_DONT_SKIP", false) != "true"
+            # for oscardevtools itself we just check if the package can be loaded
+            push!(testcmd, """using $pkg;""")
+         else
+            if pkg != "Polymake"
+               push!(testcmd, """using $pkg; @maybe_doctest($pkg);""")
+            end
          end
       end
    end