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_64OK2019/06/2417:32:4200:00:13
Debian-8-x86_64OK2019/06/2417:41:3200:00:18
Debian-9-x86_64OK2019/06/2421:17:4600:00:18
Fedora-27-x86_64OK2019/06/2417:51:0600:00:13
Fedora-28-x86_64OK2019/06/2421:56:0800:00:09
NetBSD-8.0-x86_64OK2019/06/2417:14:4000:00:13
Ubuntu-14.04-x86_64OK2019/06/2417:15:1600:00:22
Ubuntu-16.04-x86_64OK2019/06/2419:48:3700:00:17
Ubuntu-18.04-x86_64OK2019/06/2417:25:1300:00:09
Ubuntu-19.04-x86_64OK2019/06/2417:24:2300:00:10