| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-10-25 | Work around the fact that `check_mod_type_wf` may spuriously return ↵ | Oli Scherer | -1/+8 | |
| `ErrorGuaranteed`, even if that error is only emitted by `check_modwitem_types` | ||||
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+10 | |
