| Build machine: | winmini |
| Disk usage: | 216.14Gi used, 1636.47Gi avail, 1852.61Gi total, 88.33% free |
| Build directory: | ~/builds32/2026-04-30-16-24 |
| GIT ID: | a35166cfcc7e68b8364dea5a9e19ac8b0afa69dc |
| boot-time | 00:04:05 |
| load-time | 00:06:33 |
| test-time | 00:28:13 |
| help-lint-time | 00:00:29 |
| benchmark-time | 00:00:00 |
| html-help-time | 00:05:29 |
| Benchmark | Time (seconds) |
|---|