2024-08-19T01:52:28Z - 2024-09-19T01:52:28Z

Overview

2 active pull requests
0 active issues
Excluding merges, 2 authors have pushed 20 commits to main and 22 commits to all branches. On main, 34 files have changed and there have been 207 additions and 616 deletions.

2 pull requests merged by 1 user

Merged #2 Pin builder 2024-08-29 08:32:35 +00:00

Merged #1 Revert "revert orb, we need opam 2.1.2" 2024-08-26 16:01:45 +00:00