Skip to content

fix: Kill all shell pids on quit + migrate legacy shell manager (#593) #235

fix: Kill all shell pids on quit + migrate legacy shell manager (#593)

fix: Kill all shell pids on quit + migrate legacy shell manager (#593) #235

Triggered via push January 26, 2026 12:26
Status Success
Total duration 1m 54s
Artifacts

codeql.yml

on: push
Matrix: analyze
Fit to window
Zoom out
Zoom in