Use newer version of maven.

graalvm · Feb 25, 2019 · 7da26d3 · 7da26d3
1 parent f4f2848
commit 7da26d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -2,7 +2,7 @@
   local basicBuild = {
     targets: ['gate'],
     packages: {
-      maven: '==3.3.9',
+      maven: '==3.6.0',
     },
     timelimit: '00:59:59',
     run: [