mbarbin / cmdlang / 141

Builds Branch Commit Type Ran Committer Via Coverage
141 improve-ci Merge 19bd4bf02 into e0931541f Pull #35 web-flow github
100.0
140 main Merge pull request #34 from mbarbin/add-dev-pkg Add dev opam package to regroup dev targets and dependencies push web-flow github
100.0
139 add-dev-pkg Merge ce43928da into da09a5fd5 Pull #34 web-flow github
100.0
138 main Add bound for cmdliner in tests for now (needs tweaking) push mbarbin github
100.0
137 main Revise rationale for cmdlang development Update rationale section to reflect cmdliner 2.0 changes. push web-flow github
100.0
136 dependabot/github_actions/actions/setup-node-5 Merge c50e0ae44 into f32ae4746 Pull #32 web-flow github
100.0
134 main Remove unused deps from cmdlang-to-base push mbarbin github
100.0
133 main Merge pull request #31 from mbarbin/create-with-pp Create with pp push web-flow github
100.0
132 create-with-pp Merge bcb8efb33 into 37952a1a6 Pull #31 web-flow github
100.0
131 create-with-pp Merge 598ce2fcf into 37952a1a6 Pull #31 web-flow github
100.0
129 dependabot/github_actions/actions/upload-pages-artifact-4 Merge 7b65ddc5a into 9c08934f0 Pull #30 web-flow github
100.0
128 main Merge pull request #29 from mbarbin/upgrade-docusaurus Upgrade Docusaurus push web-flow github
100.0
127 upgrade-docusaurus Merge a0e52b1f3 into 7959c3161 Pull #29 web-flow github
100.0
126 main Upgrade node-version in doc jobs push mbarbin github
100.0
125 main Merge pull request #28 from mbarbin/upgrade-climate-0.8.0 Upgrade climate 0.8.0 push web-flow github
100.0