[internal] Fix parallel promotion for herd tests - #1938

Draft

psafont wants to merge 5 commits into

herd:masterfrom

psafont:dev/pau/promote

Commits on Aug 7, 2026

[internal] herd_promote debug printing is a bit more explicit
psafont
committed
0d1d7e3
[internal] add List.split_when
psafont
committed
4fedce4
[internal] Recognise the different wrappers for herd (promote and test)
psafont
committed
942cc15
[internal] Fix parallel promotion for herd tests
psafont
committed
85285a8
[tools][breaking] Change interface of mapply
psafont
committed
f908194