September 10, 2021 - September 17, 2021

Overview

1 Active Pull Request
Excluding merges, 2 authors have pushed 3 commits to master and 5 commits to all branches. On master, 8 files have changed and there have been 612 additions and 37 deletions.

1 Pull request merged by 1 user

Merged
#61 CI: make build jobs faster 4 days ago