2023-04-26T08:38:35Z - 2024-04-26T08:38:35Z

Period: 1 year

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

Overview

1 Active Pull Request

1 Active Issue

1
Merged Pull Request 0
Proposed Pull Requests 1
Closed Issue 0
New Issues

Excluding merges, 4 authors have pushed 30 commits to main and 164 commits to all branches. On main, 61 files have changed and there have been 1137 additions and 1112 deletions.

1 Release published by 1 user

Published afp_submission 2023-05-15 20:40:36 +00:00

1 Pull request merged by 1 user

Merged #30 idir-remarks 2023-05-15 06:34:50 +00:00

1 Issue closed from 1 user

Closed #26 Add CI/CD setup for Isabelle_dev branch 2023-04-28 10:21:46 +00:00