| Build machine: | linuxmini |
| Disk usage: | 241.01Gi used, 1498.06Gi avail, 1832.21Gi total, 81.76% free |
| Build directory: | ~/builds64/2026-01-07-15-51 |
| GIT ID: | 708e34fdf912ac90f300828875eec992aa9b2062 |
| boot-time | 00:03:59 |
| load-time | 00:11:33 |
| test-time | 00:26:25 |
| help-lint-time | 00:00:16 |
| benchmark-time | 00:00:00 |
| html-help-time | 00:07:54 |
| Benchmark | Time (seconds) |
|---|