Search frontend for the documentation generated by the PureScript compiler
active 2024-08-11 → 2024-08-22 (UTC)
Partial coverage16,646 / 21,075 hourly files (79%) · 2 absent upstream · 4,428 failed, retryable2024-03-17 → 2026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
8
Pushes
1
Pull requests
2
Issues
1
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 12 days from 2024-08-11 to 2024-08-22. Pushes: 1 total, peak 1 in a day. Pull requests: 2 total, peak 1 in a day. Issues: 1 total, peak 1 in a day. Comments: 1 total, peak 1 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
Recent activity
Latest issues, pull requests and releases
- Issue#72f-f2024-08-22 07:58Listing all results from doc-search in xml format
- Issue comment#72mikesol2024-08-22 04:12Listing all results from doc-search in xml format
- Pull request#71f-f2024-08-16 18:37
- Pull request#71klntsky2024-08-11 21:20
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.