| Build machine: | winmini |
| Disk usage: | 211.91Gi used, 1640.70Gi avail, 1852.61Gi total, 88.56% free |
| Build directory: | ~/builds64/2025-12-27-13-55 |
| GIT ID: | 74bab0476d1901bdb911e9deb1abf4feb6f7a954 |
| boot-time | 00:04:07 |
| load-time | 00:12:53 |
| test-time | 00:49:53 |
| help-lint-time | 00:00:27 |
| benchmark-time | 00:00:00 |
| html-help-time | 00:25:07 |
| Benchmark | Time (seconds) |
|---|