Skip to content

Verify server PID identity before teardown kills (#31)#39

Merged
TheRealDinghyDog merged 1 commit into
opencode-conversionfrom
fix/issue-31-server-pid-identity
Jul 10, 2026
Merged

Verify server PID identity before teardown kills (#31)#39
TheRealDinghyDog merged 1 commit into
opencode-conversionfrom
fix/issue-31-server-pid-identity

Verify server PID identity before teardown kills (#31)

67429a4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
CI
succeeded Jul 10, 2026 in 2m 50s