active 2024-04-25 → 2025-01-19 (UTC)
Complete coverage26,664 / 26,664 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-29 (UTC)
Events
62
Pushes
32
Pull requests
16
Issues
3
Stars
1
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 270 days from 2024-04-25 to 2025-01-19. Pushes: 32 total, peak 12 in a day. Pull requests: 16 total, peak 5 in a day. Issues: 3 total, peak 3 in a day. Comments: 0 total, peak 0 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
Recent activity
Latest issues, pull requests and releases
- Pull request#10Clementho2024-05-23 09:46
- Pull request#10Clementho2024-05-23 09:46
- Pull request#9Clementho2024-05-13 02:38
- Pull request#9Clementho2024-05-13 02:38
- Pull request#8Just111n2024-05-06 08:28
- Pull request#8Just111n2024-05-06 08:27
- Issue#7Just111n2024-05-06 08:11Clean up TT and FC
- Issue#6Just111n2024-05-06 08:09Test case
- Issue#5Just111n2024-05-06 08:08Backward Chaining
- Pull request#4Clementho2024-05-06 05:13
- Pull request#4Clementho2024-05-06 05:07
- Pull request#3Clementho2024-05-06 04:51
- Pull request#3Just111n2024-05-02 17:26
- Pull request#2Just111n2024-05-02 13:14
- Pull request#2Just111n2024-05-02 13:01
- Pull request#1Just111n2024-04-29 08:16
- Pull request#1Just111n2024-04-29 08:10
- Pull request#1Just111n2024-04-29 08:09
- Pull request#1Just111n2024-04-29 08:06
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.