| Build machine: | winmini |
| Disk usage: | 209.54Gi used, 1643.07Gi avail, 1852.61Gi total, 88.69% free |
| Build directory: | ~/builds32/2025-12-08-15-06 |
| GIT ID: | a56e6390e81340be6573cb790311c0a980a5f369 |
| boot-time | 00:04:33 |
| load-time | 00:00:51 |
| test-time | 00:30:28 |
| help-lint-time | 00:00:31 |
| benchmark-time | 00:00:00 |
| html-help-time | 00:04:17 |
| Benchmark | Time (seconds) |
|---|