Skip to content

fix: Kill all shell pids on quit + migrate legacy shell manager #1469

fix: Kill all shell pids on quit + migrate legacy shell manager

fix: Kill all shell pids on quit + migrate legacy shell manager #1469

Triggered via pull request January 26, 2026 12:20
Status Success
Total duration 13s
Artifacts

code-quality.yml

on: pull_request
quality
9s
quality
Fit to window
Zoom out
Zoom in