Skip to content

Kill orphaned prover processes on Linux when tlapm dies - #284

Open
tangruize wants to merge 1 commit into
tlaplus:mainfrom
tangruize:feat-kill-orphaned-provers-pdeathsig
Open

Kill orphaned prover processes on Linux when tlapm dies#284
tangruize wants to merge 1 commit into
tlaplus:mainfrom
tangruize:feat-kill-orphaned-provers-pdeathsig

Commits

Commits on Jul 22, 2026