feat: experimental cross-process jobserver via POSIX semaphore#13856

Kha wants to merge 5 commits into

leanprover:masterleanprover/lean4:masterfrom

Kha:push-sntnnpnmsktmKha/lean4:push-sntnnpnmsktmCopy head branch name to clipboard