Morph prover
active 2023-12-05 → 2024-05-29 (UTC)
Complete coverage26,537 / 26,537 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-24 (UTC)
Events
242
Pushes
160
Pull requests
32
Issues
0
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 177 days from 2023-12-05 to 2024-05-29. Pushes: 160 total, peak 18 in a day. Pull requests: 32 total, peak 5 in a day. Issues: 0 total, peak 0 in a day. Comments: 2 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 |
|---|---|---|---|---|
| anylots | 146 | 129 | 17 | 0 |
| MarvelFisher | 24 | 7 | 8 | 2 |
| chengwenxi | 21 | 7 | 7 | 0 |
| dongliangCai | 17 | 17 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#17chengwenxi2024-01-30 05:55
- Pull request#17anylots2024-01-30 03:14
- Pull request#16MarvelFisher2024-01-29 07:19
- Pull request#16anylots2024-01-29 06:58
- Pull request#15chengwenxi2024-01-21 10:47
- Pull request#15anylots2024-01-21 07:16
- Pull request#14chengwenxi2024-01-17 05:49
- Pull request#14anylots2024-01-17 05:48
- Pull request#13MarvelFisher2024-01-16 08:49
- Pull request#13anylots2024-01-16 08:47
- Pull request#12MarvelFisher2024-01-11 09:35
- Pull request#12anylots2024-01-11 09:04
- Pull request#11MarvelFisher2024-01-10 08:14
- Pull request#11anylots2024-01-10 08:11
- Pull request#10MarvelFisher2024-01-09 05:57
- Pull request#10anylots2024-01-09 05:54
- Pull request#9anylots2024-01-09 05:25
- Pull request#9anylots2024-01-09 05:21
- Pull request#8MarvelFisher2024-01-09 03:23
- Pull request#8anylots2024-01-08 06:13
- Pull request#7anylots2024-01-08 03:26
- Pull request#7MarvelFisher2024-01-08 03:20
- Pull request#6MarvelFisher2024-01-05 11:23
- Pull request#6anylots2024-01-05 11:19
- Pull request#5chengwenxi2024-01-05 05: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.