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_64 | OK | 2019/06/24 | 17:32:42 | 00:00:13 |
| Debian-8-x86_64 | OK | 2019/06/24 | 17:41:32 | 00:00:18 |
| Debian-9-x86_64 | OK | 2019/06/24 | 21:17:46 | 00:00:18 |
| Fedora-27-x86_64 | OK | 2019/06/24 | 17:51:06 | 00:00:13 |
| Fedora-28-x86_64 | OK | 2019/06/24 | 21:56:08 | 00:00:09 |
| NetBSD-8.0-x86_64 | OK | 2019/06/24 | 17:14:40 | 00:00:13 |
| Ubuntu-14.04-x86_64 | OK | 2019/06/24 | 17:15:16 | 00:00:22 |
| Ubuntu-16.04-x86_64 | OK | 2019/06/24 | 19:48:37 | 00:00:17 |
| Ubuntu-18.04-x86_64 | OK | 2019/06/24 | 17:25:13 | 00:00:09 |
| Ubuntu-19.04-x86_64 | OK | 2019/06/24 | 17:24:23 | 00:00:10 |
