Skip to content

active 2023-09-182024-05-07 (UTC) · 6 repositories

Complete coverage26,563 / 26,563 hourly files (100%) · 2 absent upstream2023-08-152026-08-25 (UTC)
Events
17
Pushes
13
Pull requests
0
Issues
0
Reviews
0
Repositories
6

Activity over time

Daily event counts in the loaded window

Line chart, 233 days from 2023-09-18 to 2024-05-07. Pushes: 13 total, peak 8 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 0 total, peak 0 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
squirrel-prover/Squirrel-Prover.github.io660002023-10-26
squirrel-prover/squirrel-prover550002023-10-26
ThomasRuby/pygments220002023-09-18
MoeinGhaniyoun/LLVM-SLH-RISCV000002024-03-26
riscv-spectre-mitigations/Spectre-v2-v5-mitigation-RISCV000002024-05-07
riscv-spectre-mitigations/llvm_retpoline000002024-05-07

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.