| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-09-11 | Revert warning empty patterns as unreachable | Nadrieril | -0/+1 |
| 2024-08-19 | Cap the number of patterns pointed to by the lint | Nadrieril | -0/+19 |
| 2024-08-19 | Add a note with a link to explain empty types | Nadrieril | -0/+3 |
| 2024-08-19 | Reword the "unreachable pattern" explanations | Nadrieril | -15/+15 |
| 2024-08-10 | Update tests | Nadrieril | -1/+0 |
| 2024-07-24 | Improve "covered_by_many" error | Nadrieril | -0/+4 |
| 2024-07-24 | Explain why a given pattern is considered unreachable | Nadrieril | -0/+97 |
