| Build machine: | linuxmini |
| Disk usage: | 234.34Gi used, 1504.73Gi avail, 1832.21Gi total, 82.13% free |
| Build directory: | ~/builds64/2025-12-18-15-08 |
| GIT ID: | b023fad9d572d6e6af878f44820862228998034c |
| boot-time | 00:04:10 |
| load-time | 00:11:46 |
| test-time | 00:26:20 |
| help-lint-time | 00:00:25 |
| benchmark-time | 00:00:00 |
| html-help-time | 00:08:06 |
| Benchmark | Time (seconds) |
|---|