Build mkgmap/mkgmap #716
Commit: 4352 by gerd
Branch: NET-no-NOD
Time: 6 Nov 2019, 10:42 a.m.
Branch: NET-no-NOD
Time: 6 Nov 2019, 10:42 a.m.
Passed
Total time: 1 min 54 sec
Total time: 1 min 54 sec
-
java=jdk8, python=defaultPassed49 sec
-
java=openjdk8, python=defaultPassed30 sec
-
java=openjdk11, python=defaultPassed34 sec