Skip to content

Fix bug where highlighting is not kept when the file has a type error… #8190

Fix bug where highlighting is not kept when the file has a type error…

Fix bug where highlighting is not kept when the file has a type error… #8190

Annotations

1 warning

ormolu

succeeded Aug 21, 2024 in 1m 1s