Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
56 | add-doc | Initiate a Docusaurus documentation | Pull #7 | github |
100.0 |
||
51 | main | Update changelog | push | github |
100.0 |
||
49 | internal-tests | Update changelog | Pull #6 | github |
100.0 |
||
48 | HEAD | Update changelog | push | github |
100.0 |
||
47 | main | Update changelog | push | github |
100.0 |
||
46 | HEAD | Prepare changelog | push | github |
100.0 |
||
45 | main | Prepare changelog | push | github |
100.0 |
||
43 | reduce-deps | Added tests to improve interface comparisons covering | Pull #5 | github |
100.0 |
||
41 | reduce-deps | Edit changelog | Pull #5 | github |
99.7 |
||
40 | HEAD | Prepare changelog | push | github |
100.0 |
||
39 | main | Prepare changelog | push | github |
100.0 |
||
38 | main | Activate ppxflag in src/ too | push | github |
100.0 |
||
37 | main | Add explicit ppxlib dependency This will allow enforcing >= 0.33 in the near future. | push | github |
100.0 |
||
36 | main | Update changelog | push | github |
100.0 |
||
35 | main | Upgrade ci to 5.2 | push | github |
100.0 |