2023-11-20T11:06:39Z - 2024-05-20T10:06:39Z

Period: 6 months

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

2 Active Pull Requests

0 Active Issues

2
Merged Pull Requests 0
Proposed Pull Requests 0
Closed Issues 0
New Issues

Excluding merges, 1 author has pushed 16 commits to master and 26 commits to all branches. On master, 10 files have changed and there have been 127 additions and 35 deletions.

2 Pull requests merged by 1 user

Merged #5 unrecognized-event-bug 2024-03-03 16:40:57 +01:00

Merged #4 unfolding-function 2024-01-20 21:54:56 +01:00