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

Kill orphaned prover processes on Linux when tlapm dies

8713ab6
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Jul 22, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO