| Build machine: | winmini |
| Disk usage: | 212.06Gi used, 1640.55Gi avail, 1852.61Gi total, 88.55% free |
| Build directory: | ~/builds64/2026-01-04-18-55 |
| GIT ID: | 694b98991528fa14f8dc8191725f8e5520f4a833 |
| boot-time | 00:10:13 |
| load-time | 00:17:01 |
| test-time | 00:26:12 |
| help-lint-time | 00:00:20 |
| benchmark-time | 00:00:00 |
| html-help-time | 00:22:50 |
| Benchmark | Time (seconds) |
|---|