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 | 2020/01/10 | 20:36:38 | 00:00:13 |
| Debian-8-x86_64 | OK | 2020/01/10 | 20:11:16 | 00:00:12 |
| Debian-9-x86_64 | OK | 2020/01/11 | 08:32:16 | 00:00:09 |
| Fedora-27-x86_64 | OK | 2020/01/10 | 21:14:22 | 00:00:13 |
| Fedora-28-x86_64 | OK | 2020/01/11 | 11:44:33 | 00:00:12 |
| NetBSD-8.0-x86_64 | OK | 2020/01/10 | 19:16:14 | 00:00:08 |
| Ubuntu-16.04-x86_64 | OK | 2020/01/10 | 21:02:45 | 00:00:24 |
| Ubuntu-18.04-x86_64 | OK | 2020/01/10 | 20:10:15 | 00:00:15 |
| Ubuntu-19.04-x86_64 | OK | 2020/01/10 | 19:54:58 | 00:00:19 |
