Build report for linux/x86.64

Build machine:	linuxmini
Disk usage:	231.73Gi used, 1507.34Gi avail, 1832.21Gi total, 82.27% free
Build directory:	~/builds64/2025-12-09-16-41
GIT ID:	e1fd9346f2ec65ea36a7429d7ade41a6eff98535

Timings

boot-time	00:03:42
load-time	00:09:46
test-time	00:20:58
help-lint-time	00:00:14
benchmark-time	00:00:00
html-help-time	00:05:29

Benchmarks

Benchmark	Time (seconds)