| Build machine: | linuxmini |
| Disk usage: | 241.27Gi used, 1497.80Gi avail, 1832.21Gi total, 81.75% free |
| Build directory: | ~/builds64/2026-02-11-19-38 |
| GIT ID: | 8e54de841bdbf110e011756690f10957c83824d6 |
| boot-time | 00:03:45 |
| load-time | 00:10:12 |
| test-time | 00:22:21 |
| help-lint-time | 00:00:19 |
| benchmark-time | 00:00:00 |
| html-help-time | 00:06:41 |
| Benchmark | Time (seconds) |
|---|