Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
35 | main | Enable instrumentation in executables and test libraries too | push | github |
95.59 |
||
34 | main | Update badge links in README | push | github |
93.68 |
||
33 | HEAD | Prepare 0.0.2 | push | github |
93.68 |
||
32 | main | Prepare 0.0.2 | push | github |
93.68 |
||
31 | main | update build flags | push | github |
93.68 |
||
30 | main | remove unused dependency (stdio) | push | github |
93.68 |
||
29 | main | dune-project: order stanzas and deps | push | github |
93.68 |
||
28 | main | rename github workflow step | push | github |
93.68 |
||
27 | main | update build flags | push | github |
93.68 |
||
26 | main | generate opam file from dune-project | push | github |
93.68 |
||
25 | main | reset changelog | push | github |
93.68 |
||
24 | main | rename package for consistency | push | github |
93.68 |
||
23 | HEAD | rename package for consistency | push | github |
93.68 |
||
22 | HEAD | fix urls in opam file | push | github |
93.68 |
||
21 | main | fix urls in opam file | push | github |
93.68 |