mbarbin / print-table / 49

Builds Branch Commit Type Ran Committer Via Coverage
49 main Enable crs workflow push mbarbin github
100.0
48 dependabot/github_actions/actions/checkout-6.0.2 Merge 371b8e118 into 13a847741 Pull #11 web-flow github
100.0
47 main Merge pull request #12 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune push web-flow github
100.0
46 migrate-main-ci-setup-dune Merge fa449d820 into 312b2c850 Pull #12 web-flow github
100.0
45 dependabot/github_actions/actions/checkout-6.0.2 Merge 28882b0ba into 312b2c850 Pull #11 web-flow github
100.0
44 main Prepare changelog push mbarbin github
100.0
43 main Remove root dune-workspace file entirely It is not currently used. I had plan to use it in local workflow and or in the CI but its presence triggers some issues with dune [3.17.2], even when changing the lang to [3.17], namely: ```sh File "dune-... push mbarbin github
100.0
42 main Prepare changelog push mbarbin github
100.0
41 main Prepare changelog push mbarbin github
100.0
40 main Transition some workflows from more-ci to setup-dune push mbarbin github
100.0
39 main Update setup-dune sha (fix macos build path issue) push mbarbin github
100.0
38 main Upgrade setup-dune (v2.0.0+patched) push mbarbin github
100.0
37 main Improve default settings for GHA permissions push mbarbin github
100.0
36 main Upgrade setup-dune to v2.0.0+only-packages push mbarbin github
100.0
35 main Make run shell more portable push mbarbin github
100.0