2026.8.25.2 — one predicate family, closed #63

Job	Run time
build 3 targets on windows	7m 47s
openkal e2e (the scripts, on a runner that has llvm)	9m 28s
build 3 targets on macos	3m 57s
build 3 targets on linux	4m 45s
run 3 builds on linux	6s
run 3 builds on windows	8s
run 3 builds on macos	8s
	26m 19s

Navigation Menu