Skip to content

Insights: firedrakeproject/fiat

March 21, 2025 March 28, 2025

Period: 1 week
Filter activity

Overview

Excluding merges, 7 authors have pushed 1 commit to master and 19 commits to all branches. On master, 1 file has changed and there have been 12 additions and 22 deletions.
Loading

2 Pull requests merged by 2 people

1 Pull request opened by 1 person

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