Skip to content

active 2023-09-042024-02-03 (UTC) · 12 repositories

Complete coverage26,433 / 26,433 hourly files (100%) · 2 absent upstream2023-08-152026-08-20 (UTC)
Events
111
Pushes
30
Pull requests
7
Issues
16
Reviews
7
Repositories
12

Activity over time

Daily event counts in the loaded window

Line chart, 153 days from 2023-09-04 to 2024-02-03. Pushes: 30 total, peak 5 in a day. Pull requests: 7 total, peak 4 in a day. Issues: 16 total, peak 5 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
i4Ds/Karabo-Pipeline36114232024-01-30
deiruch/SATInterface17170002024-02-03
deiruch/cadical1385002024-01-24
ateleris/asn1scc841212023-10-13
arminbiere/cadical700612023-11-21
dotnet/SqlClient400132023-12-06
ttsiodras/asn1scc300212023-09-27
i4Ds/ProStudCreator100102023-09-25
maxime-esa/asn1scc100012023-11-28
microsoft/winget-cli100012023-09-26
ERGO-Code/HiGHS000002023-10-29
saemideluxe/semicongine000002023-10-22

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.