Mathlib4 review and triage dashboard
active 2025-01-24 → 2025-03-17 (UTC)
Partial coverage12,023 / 13,529 hourly files (89%) · 2 absent upstream · 1,502 failed, retryable2025-01-24 → 2026-08-10 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
6.1K
Pushes
6.1K
Pull requests
1
Issues
0
Stars
1
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 53 days from 2025-01-24 to 2025-03-17. Pushes: 6,092 total, peak 287 in a day. Pull requests: 1 total, peak 1 in a day. Issues: 0 total, peak 0 in a day. Comments: 21 total, peak 7 in a day. Stars: 1 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| github-actions[bot] | 6.1K | 6.1K | 0 | 0 |
| grunweg | 30 | 8 | 1 | 21 |
| jcommelin | 2 | 2 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#79grunweg2025-03-16 09:34Search/filtering that also searches through PR descriptions
- Issue comment#79grunweg2025-03-16 09:11Search/filtering that also searches through PR descriptions
- Issue comment#74grunweg2025-03-02 15:35Automatic reviewer suggestion
- Issue comment#60grunweg2025-03-02 15:25dashboard for PRs that are blocking other PRs
- Issue comment#51grunweg2025-03-02 15:24Display number of PRs blocked by a given PR
- Issue comment#80grunweg2025-03-02 15:20Transitive closure of depends-on PRs
- Issue comment#80grunweg2025-03-02 15:20Transitive closure of depends-on PRs
- Issue comment#77grunweg2025-03-02 11:32Clicking a label/username should filter instead of linking to github
- Issue comment#65grunweg2025-03-01 19:20Allow sharing links with a particular table state
- Issue comment#75grunweg2025-03-01 19:18Filter by label
- Issue comment#76grunweg2025-03-01 19:17Display branch name of PR
- Issue comment#87grunweg2025-03-01 19:15Make the "All PRs" table easier to find and quicker to access
- Issue comment#88grunweg2025-03-01 19:15+/- column in colors
- Issue comment#89grunweg2025-03-01 19:09flag PRs which have no topic label
- Issue comment#72grunweg2025-02-28 22:52Filter for PRs by a user-set list of users
- Issue comment#79grunweg2025-02-28 22:49Search/filtering that also searches through PR descriptions
- Issue comment#89grunweg2025-02-28 22:46flag PRs which have no topic label
- Issue comment#87grunweg2025-02-28 22:45Make the "All PRs" table easier to find and quicker to access
- Issue comment#75grunweg2025-02-28 22:37Filter by label
- Issue comment#76grunweg2025-02-28 22:35Display branch name of PR
- Issue comment#77grunweg2025-02-28 22:34Clicking a label/username should filter instead of linking to github
- Pull request#71grunweg2025-02-15 09:47
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 1 stars here means stars gained during the window, not the repo's star count.