Skip to content

active 2023-08-15 → 2023-09-16 (UTC) · 4 repositories

Complete coverage28,251 / 28,251 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-04 (UTC)
Events
54
Pushes
32
Pull requests
7
Issues
1
Reviews
3
Repositories
4

Activity over time

Daily event counts in the loaded window

Line chart, 33 days from 2023-08-15 to 2023-09-16. Pushes: 32 total, peak 9 in a day. Pull requests: 7 total, peak 4 in a day. Issues: 1 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
Malleek/verifypn28262002023-09-12
TAPAAL/verifypn804132023-09-16
TAPAAL/tapaal-gui801042023-09-16
Malleek/tapaal-gui660002023-09-16

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.