active 2023-10-13 → 2023-12-20 (UTC)
Partial coverage21,375 / 26,307 hourly files (81%) · 2 absent upstream · 4,931 failed, retryable2023-08-15 → 2026-08-15 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
5
Pushes
0
Pull requests
0
Issues
1
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 69 days from 2023-10-13 to 2023-12-20. Pushes: 0 total, peak 0 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 1 total, peak 1 in a day. Comments: 4 total, peak 2 in a day. Stars: 0 total, peak 0 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 |
|---|---|---|---|---|
| ttj | 2 | 0 | 0 | 2 |
| merascu | 2 | 0 | 0 | 2 |
| huanzhang12 | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#2merascu2023-12-20 09:32Benchmark discussion
- Issue comment#2ttj2023-12-03 03:14Benchmark discussion
- Issue comment#2merascu2023-12-02 09:26Benchmark discussion
- Issue comment#2ttj2023-12-02 03:13Benchmark discussion
- Issue#4huanzhang122023-10-13 06:11counterexamples out of range in nn4sys2023
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.