cmlsharp
github.com/cmlsharp — pool status: active
Rolling stats
| Window | Score | Commits | PRs Op | PRs Mg | Iss Cl | Comments | Releases | Reviews |
|---|---|---|---|---|---|---|---|---|
| 30d | 8 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
| 90d | 8 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
All-time totals (across all ingested events)
commit
0
pr_opened
0
pr_merged
1
issue_closed
0
issue_comment
0
release
0
review
0
Recent events (last 50)
| When | Type | Repo |
|---|---|---|
| 2026-05-19 10:43 | pr_merged | leanprover-community/batteries |
Cursor: last fetched at 2026-05-19T10:43:51.000Z (ETag W/"e415555b377178b91…)