mbarbin / crs / 86

Builds Branch Commit Type Ran Committer Via Coverage
86 main Merge pull request #30 from mbarbin/filter Add support for filter flags push web-flow github
100.0
85 filter Merge f529c9107 into 36f4893b6 Pull #30 web-flow github
100.0
84 main Add attribution for printbox push mbarbin github
100.0
81 printbox Merge 88f0ec5f1 into e701bae36 Pull #28 web-flow github
100.0
82 printbox Merge 6a7fa36d3 into e701bae36 Pull #28 web-flow github
100.0
79 printbox Merge 2b4fbe133 into e701bae36 Pull #28 web-flow github
100.0
78 main Merge pull request #29 from mbarbin/remove-ppx-let Remove ppx let push web-flow github
100.0
77 remove-ppx-let Merge 3f1a73f1e into 039e1a676 Pull #29 web-flow github
100.0
76 printbox Merge b867ea131 into 039e1a676 Pull #28 web-flow github
100.0
75 main Merge pull request #26 from mbarbin/improve-doc Improve odoc documentation push web-flow github
100.0
74 improve-doc Merge 8d4ea0b0d into c7d5b2ce2 Pull #26 web-flow github
100.0
73 main Merge pull request #25 from mbarbin/improve-coverage Improve coverage push web-flow github
100.0
72 improve-coverage Merge d137123fe into c0006320c Pull #25 web-flow github
100.0
71 main Merge pull request #24 from mbarbin/grep-show-sexp-locations Grep show sexp locations push web-flow github
98.5
70 grep-show-sexp-locations Merge d71df76fe into aa5152c03 Pull #24 web-flow github
98.5