2024-06-19T01:41:20Z - 2024-09-19T01:41:20Z

Overview

2 active pull requests
0 active issues
Excluding merges, 3 authors have pushed 38 commits to main and 40 commits to all branches. On main, 42 files have changed and there have been 443 additions and 713 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