mbarbin / super-master-mind / 93

Builds Branch Commit Type Ran Committer Via Coverage
93 HEAD Prepare changelog for release push mbarbin github
94.17
92 main Prepare changelog for release push mbarbin github
94.17
91 HEAD Prepare changelog push mbarbin github
93.64
90 main Prepare changelog push mbarbin github
93.64
89 main Enable instrumentation in executables and test libraries too push mbarbin github
93.64
88 main Upgrade internal dependencies push mbarbin github
91.31
87 HEAD Prepare 0.0.3 push mbarbin github
91.51
86 main Prepare 0.0.3 push mbarbin github
91.51
85 main Upgrade to dune.3.12 and dedup dune dependency push mbarbin github
91.51
84 main refactor: replace sexp_diff by patdiff push mbarbin github
91.51
83 main remove core_kernel dependency push mbarbin github
92.06
81 main improve documentation of Guess.compute push mbarbin github
91.97
82 main dune-project: order stanzas and deps push mbarbin github
92.06
79 progress-bar.2 improve documentation of Guess.compute Pull #17 mbarbin github
91.97
75 progress-bar.2 changelog push mbarbin github
91.97