mbarbin / super-master-mind / 222

Builds Branch Commit Type Ran Committer Via Coverage
222 dependabot/github_actions/actions/checkout-6.0.2 Merge e4beedfe4 into 7a936dafa Pull #46 web-flow github
88.31
221 main Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest push mbarbin github
88.31
220 main Cleanup transition notice push mbarbin github
88.31
219 main Merge pull request #45 from mbarbin/dune-pkg-ci-migration Dune pkg ci migration push web-flow github
88.31
218 dune-pkg-ci-migration Merge d03f6a99c into 3d48eb3d9 Pull #45 web-flow github
88.31
217 dune-pkg-ci-migration Merge 235b668da into 3d48eb3d9 Pull #45 web-flow github
50.21
216 dune-pkg-ci-migration Merge 729c30d79 into 3d48eb3d9 Pull #45 web-flow github
75.95
215 dune-pkg-ci-migration Merge 61728e3c9 into 3d48eb3d9 Pull #45 web-flow github
88.31
214 main Merge pull request #44 from mbarbin/stdlib-qualification-cleanup Stdlib qualification cleanup push web-flow github
88.31
213 stdlib-qualification-cleanup Merge 5c23df8b6 into f8e9e8162 Pull #44 web-flow github
88.31
212 main Increase lower bounds for maintainance push mbarbin github
88.37
211 main Transition some workflows from more-ci to setup-dune push mbarbin github
88.37
210 main Merge pull request #42 from mbarbin/rm-base-test Remove base direct dependency push web-flow github
88.37
209 rm-base-test Merge 1ce5fe20e into 507281469 Pull #42 web-flow github
88.37
208 limit-base-to-compute Merge d877a6fb3 into 507281469 Pull #43 web-flow github
88.38