| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -5/+5 |
| 2024-02-05 | Stop bailing out from compilation just because there were incoherent traits | Oli Scherer | -7/+7 |
| 2023-12-14 | update use of feature flags | lcnr | -2/+2 |
| 2023-06-06 | bless coherence test | Michael Goulet | -2/+7 |
| 2023-04-26 | add known-bug test for unsound issue 105782 | whtahy | -0/+30 |
