Skip to content

Actions: mbarbin/loc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
265 workflow runs
265 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update setup-dune sha (fix macos build path issue) Dunolint Workflows #22: Commit c596382 pushed by mbarbin
11s main
main
11s
Update setup-dune sha (fix macos build path issue) ci #123: Commit c596382 pushed by mbarbin
7m 19s main
main
7m 19s
Update setup-dune sha (fix macos build path issue) more-ci #78: Commit c596382 pushed by mbarbin
8m 58s main
main
8m 58s
Update setup-dune sha (fix macos build path issue) deploy-odoc #34: Commit c596382 pushed by mbarbin
4m 1s main
main
4m 1s
Update setup-dune sha (fix macos build path issue) Build and test with setup-dune #50: Commit c596382 pushed by mbarbin
2m 6s main
main
2m 6s
Upgrade setup-dune (v2.0.0+patched) deploy-odoc #33: Commit cc69fc2 pushed by mbarbin
8m 7s main
main
8m 7s
Upgrade setup-dune (v2.0.0+patched) Build and test with setup-dune #49: Commit cc69fc2 pushed by mbarbin
18m 19s main
main
18m 19s
Upgrade setup-dune (v2.0.0+patched) ci #122: Commit cc69fc2 pushed by mbarbin
11m 25s main
main
11m 25s
Upgrade setup-dune (v2.0.0+patched) Dunolint Workflows #21: Commit cc69fc2 pushed by mbarbin
3m 26s main
main
3m 26s
Upgrade setup-dune (v2.0.0+patched) more-ci #77: Commit cc69fc2 pushed by mbarbin
49m 11s main
main
49m 11s
Improve default settings for GHA permissions more-ci #76: Commit 972050f pushed by mbarbin
1h 6m 56s main
main
1h 6m 56s
Improve default settings for GHA permissions ci #121: Commit 972050f pushed by mbarbin
4m 58s main
main
4m 58s
Improve default settings for GHA permissions Build and test with setup-dune #48: Commit 972050f pushed by mbarbin
19m 28s main
main
19m 28s
Improve default settings for GHA permissions deploy-odoc #32: Commit 972050f pushed by mbarbin
10m 49s main
main
10m 49s
Improve default settings for GHA permissions Dunolint Workflows #20: Commit 972050f pushed by mbarbin
3m 39s main
main
3m 39s
Upgrade setup-dune more-ci #75: Commit 1f2cade pushed by mbarbin
8m 23s main
main
8m 23s
Upgrade setup-dune ci #120: Commit 1f2cade pushed by mbarbin
11m 1s main
main
11m 1s
Upgrade setup-dune Dunolint Workflows #19: Commit 1f2cade pushed by mbarbin
13s main
main
13s
Upgrade setup-dune deploy-odoc #31: Commit 1f2cade pushed by mbarbin
14m 28s main
main
14m 28s
Upgrade setup-dune Build and test with setup-dune #47: Commit 1f2cade pushed by mbarbin
16m 40s main
main
16m 40s
Upgrade setup-dune to v2.0.0 Dunolint Workflows #18: Pull request #23 opened by mbarbin
12s setup-dune-v2
setup-dune-v2
12s
Upgrade setup-dune to v2.0.0 more-ci #74: Pull request #23 opened by mbarbin
13m 49s setup-dune-v2
setup-dune-v2
13m 49s
Upgrade setup-dune to v2.0.0 Build and test with setup-dune #46: Pull request #23 opened by mbarbin
38s setup-dune-v2
setup-dune-v2
38s
Upgrade setup-dune to v2.0.0 ci #119: Pull request #23 opened by mbarbin
4m 40s setup-dune-v2
setup-dune-v2
4m 40s
Merge pull request #22 from mbarbin/investigate-win-ci-issues Dunolint Workflows #17: Commit 16bc5a2 pushed by mbarbin
12s main
main
12s