robotpkg/graphics/urdfdom-headers bulk build results

urdfdom-headers-1.0.4 (category graphics or summary)

Platform Status Date Time
Start Total
CentOS-7-x86_64OK2020/01/1020:36:3800:00:13
Debian-8-x86_64OK2020/01/1020:11:1600:00:12
Debian-9-x86_64OK2020/01/1108:32:1600:00:09
Fedora-27-x86_64OK2020/01/1021:14:2200:00:13
Fedora-28-x86_64OK2020/01/1111:44:3300:00:12
NetBSD-8.0-x86_64OK2020/01/1019:16:1400:00:08
Ubuntu-16.04-x86_64OK2020/01/1021:02:4500:00:24
Ubuntu-18.04-x86_64OK2020/01/1020:10:1500:00:15
Ubuntu-19.04-x86_64OK2020/01/1019:54:5800:00:19