Skip to content

active 2023-10-162025-01-29 (UTC) · 12 repositories

Complete coverage26,385 / 26,385 hourly files (100%) · 2 absent upstream2023-08-152026-08-18 (UTC)
Events
191
Pushes
88
Pull requests
8
Issues
4
Reviews
24
Repositories
12

Activity over time

Daily event counts in the loaded window

Line chart, 472 days from 2023-10-16 to 2025-01-29. Pushes: 88 total, peak 11 in a day. Pull requests: 8 total, peak 1 in a day. Issues: 4 total, peak 1 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
seL4/seL447034282024-10-21
andybui01/sel4cp34331002025-01-29
seL4/seL4_tools32030172024-06-25
andybui01/seL428280002024-10-20
andybui01/seL4_tools24231002024-06-25
andybui01/andybui01.github.io220002023-11-20
andybui01/seL4_projects_libs110002023-10-24
andybui01/util_libs110002023-11-13
seL4/l4v100012024-06-20
seL4/microkit100012024-10-27
andybui01/sel4test000002023-11-29
lfarcaro/ARMV7A_AM335X000002024-06-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.