Build report for linux/x86.64

Build machine:	linuxmini
Disk usage:	230.70Gi used, 1508.37Gi avail, 1832.21Gi total, 82.33% free
Build directory:	~/builds64/2025-12-07-18-33
GIT ID:	c20e22740843e624bdb7062b72fe7587d9fec29f

Timings

boot-time	00:03:56
load-time	00:10:03
test-time	00:22:06
help-lint-time	00:00:23
benchmark-time	00:00:00
html-help-time	00:05:43

Benchmarks

Benchmark	Time (seconds)