Skip to content

Actions: mbarbin/loc

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update setup-dune sha (fix macos build path issue) ci #123: Commit c596382 pushed by mbarbin
7m 19s main
main
7m 19s
Upgrade setup-dune (v2.0.0+patched) ci #122: Commit cc69fc2 pushed by mbarbin
11m 25s main
main
11m 25s
Improve default settings for GHA permissions ci #121: Commit 972050f pushed by mbarbin
4m 58s main
main
4m 58s
Upgrade setup-dune ci #120: Commit 1f2cade pushed by mbarbin
11m 1s main
main
11m 1s
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 ci #118: Commit 16bc5a2 pushed by mbarbin
4m 46s main
main
4m 46s
Attempt to fix offset tests divergence in Windows CI ci #117: Pull request #22 opened by mbarbin
4m 41s investigate-win-ci-issues
investigate-win-ci-issues
4m 41s
Attempt to fix windows CI ci #116: Commit 263c405 pushed by mbarbin
4m 29s main
main
4m 29s
Prepare dune-workspace files for CI workflows ci #115: Commit c849bdb pushed by mbarbin
4m 13s main
main
4m 13s
Upgrade dunolint ci #114: Commit 03c607d pushed by mbarbin
4m 29s main
main
4m 29s
Fix pr link ci #113: Commit 5ec172e pushed by mbarbin
4m 17s main
main
4m 17s
Prepare changelog ci #112: Commit aa0c705 pushed by mbarbin
4m 25s main
main
4m 25s
Upgrade actions/checkout to v6 in CI ci #111: Commit 6802b86 pushed by mbarbin
9m 10s main
main
9m 10s
Bump actions/checkout from 5 to 6 ci #110: Pull request #19 synchronize by dependabot bot
6m 16s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
6m 16s
Upgrade actions to v6 ci #109: Commit 8e95fc8 pushed by mbarbin
4m 31s main
main
4m 31s
Bump actions/checkout from 5 to 6 ci #108: Pull request #19 synchronize by dependabot bot
5m 33s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
5m 33s
Merge pull request #21 from mbarbin/test-setup-dune-repkg ci #107: Commit be12d20 pushed by mbarbin
4m 17s main
main
4m 17s
Try new repkg wip version of setup-dune ci #106: Pull request #21 synchronize by mbarbin
4m 10s test-setup-dune-repkg
test-setup-dune-repkg
4m 10s
Try new repkg wip version of setup-dune ci #105: Pull request #21 synchronize by mbarbin
5m 7s test-setup-dune-repkg
test-setup-dune-repkg
5m 7s
Try new repkg wip version of setup-dune ci #104: Pull request #21 opened by mbarbin
4m 54s test-setup-dune-repkg
test-setup-dune-repkg
4m 54s
Merge pull request #20 from mbarbin/reduce-deps ci #103: Commit 349563d pushed by mbarbin
8m 52s main
main
8m 52s
Reduce deps ci #102: Pull request #20 opened by mbarbin
9m 19s reduce-deps
reduce-deps
9m 19s
Bump actions/checkout from 5 to 6 ci #101: Pull request #19 opened by dependabot bot
9m 34s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
9m 34s
Edit changelog ci #100: Commit ef0de2b pushed by mbarbin
10m 25s main
main
10m 25s
Merge pull request #18 from mbarbin/add-to-dyn ci #99: Commit 8571e22 pushed by mbarbin
9m 18s main
main
9m 18s