mbarbin / cmdlang / 195

Builds Branch Commit Type Ran Committer Via Coverage
195 main Enable crs workflow push mbarbin github
100.0
194 main Remove root dune-workspace file Only the versioned files are used by the CI push mbarbin github
100.0
193 dependabot/github_actions/actions/checkout-6.0.2 Merge f54b9b12c into cd9ee395a Pull #48 web-flow github
100.0
192 main Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest push mbarbin github
100.0
191 main Move transition note in action script push mbarbin github
100.0
190 main Initiate code owners file for GH push mbarbin github
100.0
189 main Transition some workflows from more-ci to setup-dune push mbarbin github
100.0
188 main Merge pull request #47 from mbarbin/upgrade-setup-dune-3.21 Upgrade setup-dune and pin dune version used to a stable release push web-flow github
100.0
187 upgrade-setup-dune-3.21 Merge 195da360e into c65b8e480 Pull #47 web-flow github
100.0
186 main Update setup-dune sha (fix macos build path issue) push mbarbin github
100.0
185 main Upgrade setup-dune (v2.0.0+patched) push mbarbin github
100.0
184 main Improve default settings for GHA permissions push mbarbin github
100.0
183 main Move ci-packages to dev target and add conf-jq push mbarbin github
100.0
182 setup-dune-v2-only-packages Merge 5563b2d2c into b0f1abe25 Pull #46 web-flow github
100.0
181 setup-dune-v2-only-packages Merge bc425ff9e into b0f1abe25 Pull #46 web-flow github
100.0