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/02/ 618:55:5100:00:15
Debian-10-x86_64OK2020/02/2915:47:0500:00:03
Debian-8-x86_64OK2020/02/ 618:33:3100:00:18
Debian-9-x86_64OK2020/02/ 619:00:3100:00:20
Fedora-28-x86_64OK2020/02/ 620:01:5500:00:18
Fedora-31-x86_64OK2020/02/2812:35:0100:00:02
NetBSD-8.0-x86_64OK2020/02/ 617:41:3100:00:06
Ubuntu-16.04-x86_64OK2020/04/1017:35:1200:00:03
Ubuntu-16.04.pal-x86_64?---
Ubuntu-18.04-x86_64OK2020/02/ 618:35:1200:00:16
Ubuntu-20.04-x86_64OK2020/05/ 618:00:4500:00:04