| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 18 | main | Merge pull request #4 from mbarbin/pplumbing-pkgs Remove pplumbing dep (unused) | push | github |
90.25 |
||
| 17 | pplumbing-pkgs | Merge 1aa9ac3d8 into 7f8357d74 | Pull #4 | github |
90.25 |
||
| 15 | dependabot/github_actions/actions/checkout-5 | Merge 0e01e34e2 into 43981f95d | Pull #3 | github |
90.25 |
||
| 14 | main | Configure ppx_js_style to allow let operators | push | github |
90.25 |
||
| 13 | main | More consistent cli commands and args doc strings | push | github |
90.25 |
||
| 12 | main | Bump pplumbing dep to version available in opam-repository | push | github |
90.25 |
||
| 11 | main | Bump dependencies | push | github |
90.25 |
||
| 10 | main | Fix shexp context leak | push | github |
90.25 |
||
| 9 | main | Relax signature constraint | push | github |
90.23 |
||
| 8 | main | Merge pull request #2 from mbarbin/enable-instrumentation Enable instrumentation | push | github |
90.23 |
||
| 7 | enable-instrumentation | Merge 09c64bdc7 into 65a3cc9e2 | Pull #2 | github |
90.23 |