diff --git a/ci.hocon b/ci.hocon index ec323bd23e519419cc396dde7e3307d6f60a34a0..19a2e55828f1e73fac9f2970863858c2581c98ff 100644 --- a/ci.hocon +++ b/ci.hocon @@ -58,7 +58,7 @@ pkgtest: ${common} ${java8Downloads} { ["git", "clone", "--depth", "1", ${repoBase}"gnur.git", "../gnur"] ] run : [ - ["mx", "--dynamicimport", "gnur", "build"] + ["mx", "-v", "--dynamicimport", "gnur", "build"] ["mx", "--dynamicimport", "gnur", "pkgtest", "--print-ok-installs", "--ok-only"] ] }