Skip to content

Actions: mbarbin/cmdlang

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
104 workflow runs
104 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Simplify some unused deps ci #219: Pull request #57 opened by mbarbin
11m 10s simplify-some-unused-deps
simplify-some-unused-deps
11m 10s
Merge pull request #56 from mbarbin/add-5.4-in-ci ci #218: Commit 0a91c36 pushed by mbarbin
11m 9s main
main
11m 9s
Add 5.4 in CI ci #217: Pull request #56 opened by mbarbin
10m 11s add-5.4-in-ci
add-5.4-in-ci
10m 11s
Merge pull request #55 from mbarbin/param-create-deprecation ci #216: Commit 97f3d24 pushed by mbarbin
11m 13s main
main
11m 13s
Deprecate Param.create ci #215: Pull request #55 opened by mbarbin
9m 53s param-create-deprecation
param-create-deprecation
9m 53s
Merge pull request #54 from mbarbin/nonempty-list-no-gadt ci #214: Commit 7ca34d7 pushed by mbarbin
14m 52s main
main
14m 52s
Nonempty list no gadt ci #213: Pull request #54 opened by mbarbin
14m 44s nonempty-list-no-gadt
nonempty-list-no-gadt
14m 44s
Upgrade deploy-pages (node 24 warning) ci #212: Commit 7c92967 pushed by mbarbin
10m 48s main
main
10m 48s
Upgrade CIs ci #211: Commit 05e06dd pushed by mbarbin
14m 42s main
main
14m 42s
Add coverage annotation for post-installed path ci #210: Commit b3b90b8 pushed by mbarbin
11m 20s main
main
11m 20s
Use dune-build-info for --version ci #209: Commit 720fd58 pushed by mbarbin
10m 8s main
main
10m 8s
Apply fmt changes ci #208: Commit d0059c5 pushed by mbarbin
11m 31s main
main
11m 31s
Merge branch 'fix-unused-libs' ci #207: Commit 175296c pushed by mbarbin
11m 12s main
main
11m 12s
Fix lint and unused libs ci #206: Pull request #52 opened by mbarbin
10m 13s fix-unused-libs
fix-unused-libs
10m 13s
Remove left-over unused var (shellcheck) ci #205: Commit 6d46ef1 pushed by mbarbin
11m 9s main
main
11m 9s
Upgrade crs-actions ci #204: Commit c31e9ae pushed by mbarbin
11m 12s main
main
11m 12s
Upgrade the crs-actions version ci #203: Commit ab958cc pushed by mbarbin
11m 29s main
main
11m 29s
Upgrade the crs-actions version ci #202: Pull request #51 opened by mbarbin
11m 23s upgrade-crs-actions
upgrade-crs-actions
11m 23s
Disable dependabot ci #201: Commit db4039c pushed by mbarbin
14m 58s main
main
14m 58s
Upgrade ci deps ci #200: Pull request #50 opened by mbarbin
13m 24s upgrade-ci-deps
upgrade-ci-deps
13m 24s
Bump reviewdog/action-setup from 1.4.0 to 1.5.0 ci #199: Pull request #49 opened by dependabot Bot
13m 4s dependabot/github_actions/reviewdog/action-setup-1.5.0
dependabot/github_actions/reviewdog/action-setup-1.5.0
13m 4s
Upgrade dunolint workflow ci #198: Commit 0ba423a pushed by mbarbin
16m 7s main
main
16m 7s
Bump actions/checkout from 6.0.1 to 6.0.2 ci #197: Pull request #48 synchronize by dependabot Bot
14m 11s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
14m 11s
Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos ci #196: Commit 6ef62c3 pushed by mbarbin
19m 19s main
main
19m 19s
Enable crs workflow ci #195: Commit f60bbe0 pushed by mbarbin
10m 14s main
main
10m 14s