Skip to content

Actions: mbarbin/dunolint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update changelog deploy-doc #30: Commit 894c4b5 pushed by mbarbin
March 20, 2025 19:26 10m 12s main
main
March 20, 2025 19:26 10m 12s
Update changelog more-ci #25: Commit 894c4b5 pushed by mbarbin
March 20, 2025 19:26 1s main
main
March 20, 2025 19:26 1s
Update changelog ci #63: Commit 894c4b5 pushed by mbarbin
March 20, 2025 19:26 6m 57s main
main
March 20, 2025 19:26 6m 57s
Merge pull request #32 from mbarbin/upgrade-odoc ci #62: Commit f462b21 pushed by mbarbin
March 20, 2025 19:16 7m 1s main
main
March 20, 2025 19:16 7m 1s
Merge pull request #32 from mbarbin/upgrade-odoc deploy-doc #29: Commit f462b21 pushed by mbarbin
March 20, 2025 19:16 6m 57s main
main
March 20, 2025 19:16 6m 57s
Merge pull request #32 from mbarbin/upgrade-odoc more-ci #24: Commit f462b21 pushed by mbarbin
March 20, 2025 19:16 1s main
main
March 20, 2025 19:16 1s
Fix for odoc 3.0 ci #61: Pull request #32 opened by mbarbin
March 20, 2025 19:06 6m 50s upgrade-odoc
upgrade-odoc
March 20, 2025 19:06 6m 50s
Fix for odoc 3.0 test-deploy-doc #30: Pull request #32 opened by mbarbin
March 20, 2025 19:06 6m 34s upgrade-odoc
upgrade-odoc
March 20, 2025 19:06 6m 34s
Fix for odoc 3.0 more-ci #23: Pull request #32 opened by mbarbin
March 20, 2025 19:06 1s upgrade-odoc
upgrade-odoc
March 20, 2025 19:06 1s
Merge pull request #30 from mbarbin/more-tests deploy-doc #28: Commit f6c056b pushed by mbarbin
March 20, 2025 18:10 6m 50s main
main
March 20, 2025 18:10 6m 50s
Merge pull request #30 from mbarbin/more-tests more-ci #22: Commit f6c056b pushed by mbarbin
March 20, 2025 18:10 1s main
main
March 20, 2025 18:10 1s
Merge pull request #30 from mbarbin/more-tests ci #60: Commit f6c056b pushed by mbarbin
March 20, 2025 18:10 6m 54s main
main
March 20, 2025 18:10 6m 54s
Wip add tests test-deploy-doc #29: Pull request #30 opened by mbarbin
March 20, 2025 18:02 6m 31s more-tests
more-tests
March 20, 2025 18:02 6m 31s
Wip add tests more-ci #21: Pull request #30 opened by mbarbin
March 20, 2025 18:02 1s more-tests
more-tests
March 20, 2025 18:02 1s
Wip add tests ci #59: Pull request #30 opened by mbarbin
March 20, 2025 18:02 7m 8s more-tests
more-tests
March 20, 2025 18:02 7m 8s
Merge pull request #27 from mbarbin/library-modes deploy-doc #27: Commit 5dd391e pushed by mbarbin
March 20, 2025 18:00 6m 39s main
main
March 20, 2025 18:00 6m 39s
Merge pull request #27 from mbarbin/library-modes more-ci #20: Commit 5dd391e pushed by mbarbin
March 20, 2025 18:00 2s main
main
March 20, 2025 18:00 2s
Merge pull request #27 from mbarbin/library-modes ci #58: Commit 5dd391e pushed by mbarbin
March 20, 2025 18:00 7m 1s main
main
March 20, 2025 18:00 7m 1s
Add initial support to lint library modes more-ci #19: Pull request #27 synchronize by mbarbin
March 20, 2025 15:19 3s library-modes
library-modes
March 20, 2025 15:19 3s
Add initial support to lint library modes ci #57: Pull request #27 synchronize by mbarbin
March 20, 2025 15:19 7m 29s library-modes
library-modes
March 20, 2025 15:19 7m 29s
Add initial support to lint library modes test-deploy-doc #28: Pull request #27 synchronize by mbarbin
March 20, 2025 15:19 6m 53s library-modes
library-modes
March 20, 2025 15:19 6m 53s
Merge pull request #29 from mbarbin/pin-odoc deploy-doc #26: Commit 76d99ad pushed by mbarbin
March 20, 2025 15:17 6m 43s main
main
March 20, 2025 15:17 6m 43s
Merge pull request #29 from mbarbin/pin-odoc ci #56: Commit 76d99ad pushed by mbarbin
March 20, 2025 15:17 6m 55s main
main
March 20, 2025 15:17 6m 55s
Merge pull request #29 from mbarbin/pin-odoc more-ci #18: Commit 76d99ad pushed by mbarbin
March 20, 2025 15:17 1s main
main
March 20, 2025 15:17 1s
Attempt to pin previous odoc version ci #55: Pull request #29 opened by mbarbin
March 20, 2025 15:02 6m 57s pin-odoc
pin-odoc
March 20, 2025 15:02 6m 57s