Skip to content

Insights: IntersectMBO/formal-ledger-specifications

February 11, 2025 February 18, 2025

Period: 1 week
Filter activity
Excluding merges, 5 authors have pushed 4 commits to master and 46 commits to all branches. On master, 19 files have changed and there have been 279 additions and 175 deletions.
Loading

4 Pull requests merged by 3 people

2 Pull requests opened by 1 person

2 Issues closed by 1 person

4 Issues opened by 4 people

7 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.