Build mkgmap/mkgmap #731
Commit: 4367 by gerd
Branch: refactor-housenumbers
Time: 13 Nov 2019, 9:38 a.m.
Branch: refactor-housenumbers
Time: 13 Nov 2019, 9:38 a.m.
Passed
Total time: 2 min 9 sec
Total time: 2 min 9 sec
-
java=jdk8, python=defaultPassed56 sec
-
java=openjdk8, python=defaultPassed33 sec
-
java=openjdk11, python=defaultPassed38 sec