Repository navigation

tests

Compute skeleton report hashes once during serialization #2082

Job	Run time
real Lean (fixture toolchain)	8m 28s
real REPL (fixture toolchain)	1m 10s
MathJax read-back cards (Node)	20s
Windows inspection, subprocess, and publication hardening	1m 1s
real Lean skeleton suite (fixture toolchain)	19m 56s
test (3.13)	3m 32s
test (3.10)	3m 38s
WebKit dependency explorer regressions	14m 14s
	52m 19s