Skip to content
Ralph-LSP-CI

Shutdown server if parent PID is terminated #577

Sign in to view logs

Shutdown server if parent PID is terminated

Shutdown server if parent PID is terminated #577

Triggered via pull request October 25, 2024 02:13
@simerplahasimerplaha
synchronize #320
watch_parent_pid
Status Success
Total duration 2m 41s
Artifacts –

scala.yml

on: pull_request
styling
28s
styling
Matrix: test
Fit to window
Zoom out
Zoom in