| Build machine: | winmini |
| Disk usage: | 210.77Gi used, 1641.84Gi avail, 1852.61Gi total, 88.62% free |
| Build directory: | ~/builds64/2025-12-08-18-14 |
| GIT ID: | a56e6390e81340be6573cb790311c0a980a5f369 |
| boot-time | 00:04:24 |
| load-time | 00:14:30 |
| test-time | 00:29:03 |
| help-lint-time | 00:00:25 |
| benchmark-time | 00:00:00 |
| html-help-time | 00:25:29 |
| Benchmark | Time (seconds) |
|---|