Getting Started
Documentation
Organisations
mbarbin
cmdlang
branch/main
Build History
Build History for branch/main
Builds (46)
Add coverage annotation for post-installed path
b3b90b
-
Mar 24 11:59 +00:00
Passed in 1m15s
Use dune-build-info for --version
720fd5
-
Mar 24 11:40 +00:00
Failed in 8m27s
Apply fmt changes
d0059c
-
Mar 24 08:58 +00:00
Failed in 36m07s
Merge branch 'fix-unused-libs'
175296
-
Mar 17 12:07 +00:00
Passed in 8m41s
Remove left-over unused var (shellcheck)
6d46ef
-
Mar 17 11:34 +00:00
Failed in 20m45s
Upgrade crs-actions
c31e9a
-
Mar 13 20:52 +00:00
Failed in 47m47s
Upgrade the crs-actions version
ab958c
-
Mar 12 17:56 +00:00
Passed in 1m31s
Disable dependabot
db4039
-
Mar 12 15:26 +00:00
Passed in 52m48s
Upgrade dunolint workflow
0ba423
-
Feb 17 20:04 +00:00
Passed in 1m45s
Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
6ef62c
-
Feb 17 19:40 +00:00
Failed in 15m11s
Enable crs workflow
f60bbe
-
Feb 12 10:12 +00:00
Passed in 1m57s
Remove root dune-workspace file Only the versioned files are used by the CI
676d80
-
Feb 01 14:52 +00:00
Failed in 20m15s
Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest
cd9ee3
-
Feb 01 14:42 +00:00
Failed in 7m11s
Transition some workflows from more-ci to setup-dune
75e4b9
-
Jan 23 12:56 +00:00
Passed in 1m29s
Merge pull request #47 from mbarbin/upgrade-setup-dune-3.21 Upgrade setup-dune and pin dune version used to a stable release
6a48c5
-
Jan 23 11:56 +00:00
Passed in 4m22s
Update setup-dune sha (fix macos build path issue)
c65b8e
-
Jan 16 21:51 +00:00
Passed in 1m19s
Upgrade setup-dune (v2.0.0+patched)
31e02b
-
Jan 16 19:45 +00:00
Passed in 11m00s
Improve default settings for GHA permissions
bfde65
-
Jan 15 19:39 +00:00
Passed in 1h44m
Move ci-packages to dev target and add conf-jq
5563b2
-
Jan 13 14:05 +00:00
Passed in 2m27s
Add experimental CI workflows based on setup-dune
b0f1ab
-
Jan 10 15:55 +00:00
Failed in 2m23s
Merge pull request #44 from mbarbin/more-ci-build-all Add all build target in more-ci
332990
-
Jan 10 11:32 +00:00
Failed in 14s
Merge pull request #43 from mbarbin/update-ci-packages Update packages selected in the CI workflows
f0c686
-
Jan 10 09:13 +00:00
Failed in 2h05m
Make yml script more portable
8562ed
-
Jan 09 21:41 +00:00
Failed in 10h53m
Prepare dune-workspace files for CI workflows
0a589d
-
Jan 09 09:11 +00:00
Passed in 22m00s
Merge pull request #42 from mbarbin/upgrade-dunolint-preview Upgrade dunolint preview
90970f
-
Jan 03 08:43 +00:00
Passed in 3m07s
Upgrade actions/checkout to v6 in CI
06fc9a
-
Dec 21 08:52 +00:00
Passed in 4m26s
Fmt
aff263
-
Dec 14 10:12 +00:00
Passed in 1m30s
Merge pull request #41 from mbarbin/dunolint-workflow Add dunolint workflow
43a907
-
Dec 12 10:03 +00:00
Passed in 10m27s
Merge pull request #40 from mbarbin/pkg-directory-structure Refactor package directory structure
ef426e
-
Dec 11 15:39 +00:00
Passed in 1m42s
Fix brittle expect test
1dd00b
-
Nov 21 08:54 +00:00
Passed in 2m08s
Activate dune-cache in setup-ocaml (CI)
6565d8
-
Jan 01 00:00 +00:00
Failed in 0s
Upgrade to ocamlformat.0.28.1
81f18e
-
Oct 24 22:29 +00:00
Passed in 32m49s
Simplify explanation doc introduction
cd6e3b
-
Oct 24 13:22 +00:00
Passed in 3m16s
Upgrade and pin actions/upload-pages-artifact to current v4
cc0ec2
-
Oct 21 11:36 +00:00
Passed in 6m54s
Upgrade climate in tests
7a4822
-
Oct 20 20:50 +00:00
Passed in 1m41s
Upgrade node and setup-node in doc CI (docusaurus)
61b5f4
-
Oct 14 14:33 +00:00
Failed in 45m58s
Merge pull request #35 from mbarbin/improve-ci Improve ci
53d9a7
-
Oct 10 12:11 +00:00
Failed in 1h00m
Merge pull request #34 from mbarbin/add-dev-pkg Add dev opam package to regroup dev targets and dependencies
e09315
-
Oct 10 11:41 +00:00
Failed in 29m47s
Add bound for cmdliner in tests for now (needs tweaking)
da09a5
-
Oct 09 08:44 +00:00
Failed in 1m28s
Revise rationale for cmdlang development Update rationale section to reflect cmdliner 2.0 changes.
9abb51
-
Oct 07 12:51 +00:00
Failed in 1m21s
Prepare release
f32ae4
-
Sep 19 12:23 +00:00
Failed in 26m41s
Remove unused deps from cmdlang-to-base
1b43c5
-
Sep 19 08:40 +00:00
Failed in 1m19s
Merge pull request #31 from mbarbin/create-with-pp Create with pp
746ac3
-
Sep 19 08:38 +00:00
Failed in 34s
Apply headache.sh
37952a
-
Sep 15 18:37 +00:00
Failed in 5m14s
Merge pull request #29 from mbarbin/upgrade-docusaurus Upgrade Docusaurus
9c0893
-
Sep 01 17:12 +00:00
Failed in 1m31s
Upgrade node-version in doc jobs
7959c3
-
Sep 01 14:23 +00:00
Failed in 5m02s