| Report | Expressions | Top-level Decls | Updated |
|---|---|---|---|
| PR #29 | 75% | 57% | 2026-04-04 15:43 |
| PR #28 | 73% | 56% | 2026-04-04 15:43 |
| PR #27 | 74% | 56% | 2026-04-04 15:43 |
| PR #26 | 74% | 56% | 2026-04-04 15:43 |
| PR #25 | 73% | 56% | 2026-04-04 15:43 |
| PR #24 | 74% | 56% | 2026-04-04 15:43 |
| PR #23 | 73% | 56% | 2026-04-04 15:43 |
| PR #22 | 75% | 56% | 2026-04-04 15:43 |
| PR #21 | 73% | 56% | 2026-04-04 15:43 |
| PR #20 | 75% | 56% | 2026-04-04 15:43 |
| PR #18 | 75% | 56% | 2026-04-04 15:43 |
| PR #17 | 76% | 56% | 2026-04-04 15:43 |
| PR #16 | 77% | 56% | 2026-04-04 15:43 |
| PR #14 | 78% | 52% | 2026-04-04 15:43 |
| main | 75% | 57% | 2026-04-04 15:43 |