| Build machine: | linuxmini |
| Disk usage: | 240.91Gi used, 1498.16Gi avail, 1832.21Gi total, 81.77% free |
| Build directory: | ~/builds32/2026-01-07-15-52 |
| GIT ID: | 708e34fdf912ac90f300828875eec992aa9b2062 |
| boot-time | 00:04:18 |
| load-time | 00:13:06 |
| test-time | 00:26:49 |
| help-lint-time | 00:00:18 |
| benchmark-time | 00:00:00 |
| html-help-time | 00:08:49 |
| Benchmark | Time (seconds) |
|---|