Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
58 | main | Update changelog | push | mbarbin | github |
76.58 |
|
57 | main | Add ppx dependency | push | mbarbin | github |
76.58 |
|
56 | HEAD | Prepare changelog for release | push | mbarbin | github |
76.58 |
|
55 | main | Prepare changelog for release | push | mbarbin | github |
76.58 |
|
54 | HEAD | Prepare changelog | push | mbarbin | github |
76.05 |
|
53 | main | Prepare changelog | push | mbarbin | github |
76.05 |
|
52 | main | Enable instrumentation in executables and test libraries too | push | mbarbin | github |
76.05 |
|
51 | main | Upgrade dune to 3.13 | push | mbarbin | github |
70.28 |
|
50 | main | Fix typo and update Spell config | push | mbarbin | github |
70.28 |
|
49 | HEAD | Prepare 0.0.4 | push | mbarbin | github |
70.28 |
|
48 | main | Prepare 0.0.4 | push | mbarbin | github |
70.28 |
|
47 | main | upgrade to dune.3.12 and dedup dune dependency | push | mbarbin | github |
70.28 |
|
46 | main | dune-project: order stanzas and deps | push | mbarbin | github |
70.28 |
|
45 | main | rename github workflow step | push | mbarbin | github |
70.28 |
|
44 | main | update build flags | push | mbarbin | github |
70.28 |