Skip to content

Insights: unfoldtoolbox/Unfold.jl

December 13, 2024 December 20, 2024

Period: 1 week
Filter activity

Overview

Excluding merges, 4 authors have pushed 13 commits to main and 38 commits to all branches. On main, 106 files have changed and there have been 1,930 additions and 746 deletions.
Loading

2 Releases published by 1 person

8 Pull requests merged by 2 people

1 Pull request opened by 1 person

1 Issue opened by 1 person

3 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.