Build mkgmap/mkgmap #710
Commit: 4346 by gerd
Branch: NET-no-NOD
Time: 5 Nov 2019, 8:37 a.m.
Branch: NET-no-NOD
Time: 5 Nov 2019, 8:37 a.m.
Passed
Total time: 2 min 23 sec
Total time: 2 min 23 sec
-
java=jdk8, python=defaultPassed1 min 8 sec
-
java=openjdk8, python=defaultPassed37 sec
-
java=openjdk11, python=defaultPassed37 sec