Skip to content

Actions: mbarbin/cmdlang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
351 workflow runs
351 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update setup-dune sha (fix macos build path issue) dune-pkg-more-ci #9: Commit c65b8e4 pushed by mbarbin
3m 52s main
main
3m 52s
Update setup-dune sha (fix macos build path issue) ci #186: Commit c65b8e4 pushed by mbarbin
11m 0s main
main
11m 0s
Update setup-dune sha (fix macos build path issue) Dunolint Workflows #26: Commit c65b8e4 pushed by mbarbin
11s main
main
11s
Update setup-dune sha (fix macos build path issue) more-ci #104: Commit c65b8e4 pushed by mbarbin
10m 5s main
main
10m 5s
Update setup-dune sha (fix macos build path issue) deploy-doc #88: Commit c65b8e4 pushed by mbarbin
6m 56s main
main
6m 56s
Upgrade setup-dune (v2.0.0+patched) more-ci #103: Commit 31e02b0 pushed by mbarbin
24m 45s main
main
24m 45s
Upgrade setup-dune (v2.0.0+patched) Dunolint Workflows #25: Commit 31e02b0 pushed by mbarbin
11s main
main
11s
Upgrade setup-dune (v2.0.0+patched) dune-pkg-more-ci #8: Commit 31e02b0 pushed by mbarbin
36m 3s main
main
36m 3s
Upgrade setup-dune (v2.0.0+patched) ci #185: Commit 31e02b0 pushed by mbarbin
10m 46s main
main
10m 46s
Upgrade setup-dune (v2.0.0+patched) deploy-doc #87: Commit 31e02b0 pushed by mbarbin
9m 29s main
main
9m 29s
Improve default settings for GHA permissions ci #184: Commit bfde65e pushed by mbarbin
6m 23s main
main
6m 23s
Improve default settings for GHA permissions dune-pkg-more-ci #7: Commit bfde65e pushed by mbarbin
5m 18s main
main
5m 18s
Improve default settings for GHA permissions Dunolint Workflows #24: Commit bfde65e pushed by mbarbin
53s main
main
53s
Improve default settings for GHA permissions deploy-doc #86: Commit bfde65e pushed by mbarbin
7m 15s main
main
7m 15s
Improve default settings for GHA permissions more-ci #102: Commit bfde65e pushed by mbarbin
20m 39s main
main
20m 39s
Move ci-packages to dev target and add conf-jq more-ci #101: Commit 5563b2d pushed by mbarbin
12m 54s main
main
12m 54s
Move ci-packages to dev target and add conf-jq ci #183: Commit 5563b2d pushed by mbarbin
6m 33s main
main
6m 33s
Move ci-packages to dev target and add conf-jq deploy-doc #85: Commit 5563b2d pushed by mbarbin
27m 52s main
main
27m 52s
Move ci-packages to dev target and add conf-jq dune-pkg-more-ci #6: Commit 5563b2d pushed by mbarbin
10m 25s main
main
10m 25s
Move ci-packages to dev target and add conf-jq Dunolint Workflows #23: Commit 5563b2d pushed by mbarbin
12s main
main
12s
Upgrade setup-dune to v2.0.0 more-ci #100: Pull request #46 synchronize by mbarbin
8m 39s setup-dune-v2-only-packages
setup-dune-v2-only-packages
8m 39s
Upgrade setup-dune to v2.0.0 Dunolint Workflows #22: Pull request #46 synchronize by mbarbin
15s setup-dune-v2-only-packages
setup-dune-v2-only-packages
15s
Upgrade setup-dune to v2.0.0 dune-pkg-more-ci #5: Pull request #46 synchronize by mbarbin
2m 2s setup-dune-v2-only-packages
setup-dune-v2-only-packages
2m 2s
Upgrade setup-dune to v2.0.0 ci #182: Pull request #46 synchronize by mbarbin
6m 19s setup-dune-v2-only-packages
setup-dune-v2-only-packages
6m 19s
Upgrade setup-dune to v2.0.0 test-deploy-doc #67: Pull request #46 synchronize by mbarbin
6m 32s setup-dune-v2-only-packages
setup-dune-v2-only-packages
6m 32s