Skip to content

active 2023-10-212024-06-08 (UTC) · 7 repositories

Partial coverage19,680 / 25,337 hourly files (78%) · 2 absent upstream · 5,654 failed, retryable2023-09-222026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
68
Pushes
36
Pull requests
10
Issues
4
Reviews
0
Repositories
7

Activity over time

Daily event counts in the loaded window

Line chart, 232 days from 2023-10-21 to 2024-06-08. Pushes: 36 total, peak 4 in a day. Pull requests: 10 total, peak 2 in a day. Issues: 4 total, peak 2 in a day.

  • Pushes
  • Pull requests
  • Issues

Repositories worked on

Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list

RepositoryContributionsPushesPRsIssuesCommentsLast seen
JacobYiu/esbmc30246002024-05-27
JacobYiu/GBC_Emulator14122002023-12-27
esbmc/esbmc602132024-02-06
crytic/echidna400222024-04-13
Consensys/mythril100102024-03-23
JacobYiu/Advanced_Tic_Tac_Toe000002024-06-08
NirmalScaria/le-git-graph000002024-02-15

Works with

People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone

Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.