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