Build mkgmap/mkgmap #717
Commit: 4353 by gerd
Branch: NET-no-NOD
Time: 6 Nov 2019, 10:45 a.m.
Branch: NET-no-NOD
Time: 6 Nov 2019, 10:45 a.m.
Passed
Total time: 1 min 56 sec
Total time: 1 min 56 sec
-
java=jdk8, python=defaultPassed51 sec
-
java=openjdk8, python=defaultPassed30 sec
-
java=openjdk11, python=defaultPassed35 sec