Skip to content

Actions: Gbury/dolmen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
192 workflow runs
192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #86: by github-pages bot
March 20, 2025 15:52 45s gh-pages
gh-pages
March 20, 2025 15:52 45s
feat: Add support for user-defined builtins with Dune plugins (#214) install #665: Commit cc3df09 pushed by Gbury
March 20, 2025 15:48 12m 14s master
master
March 20, 2025 15:48 12m 14s
feat: Add support for user-defined builtins with Dune plugins (#214) build #710: Commit cc3df09 pushed by Gbury
March 20, 2025 15:48 3m 48s master
master
March 20, 2025 15:48 3m 48s
pages build and deployment pages-build-deployment #85: by github-pages bot
March 20, 2025 13:54 1m 13s gh-pages
gh-pages
March 20, 2025 13:54 1m 13s
feat: Add support for user-defined builtins with Dune plugins install #664: Pull request #214 synchronize by bclement-ocp
March 20, 2025 13:54 26m 41s bclement-ocp:extensions
bclement-ocp:extensions
March 20, 2025 13:54 26m 41s
feat: Add support for user-defined builtins with Dune plugins build #709: Pull request #214 synchronize by bclement-ocp
March 20, 2025 13:54 9m 7s bclement-ocp:extensions
bclement-ocp:extensions
March 20, 2025 13:54 9m 7s
feat: Add support for user-defined builtins with Dune plugins install #663: Pull request #214 synchronize by bclement-ocp
March 20, 2025 13:52 21m 0s bclement-ocp:extensions
bclement-ocp:extensions
March 20, 2025 13:52 21m 0s
feat: Add support for user-defined builtins with Dune plugins build #708: Pull request #214 synchronize by bclement-ocp
March 20, 2025 13:52 7m 25s bclement-ocp:extensions
bclement-ocp:extensions
March 20, 2025 13:52 7m 25s
Fix doc of -w / --warn to match what the code actually does build #707: Commit 6b30596 pushed by Gbury
March 20, 2025 13:50 3m 50s master
master
March 20, 2025 13:50 3m 50s
Fix doc of -w / --warn to match what the code actually does install #662: Commit 6b30596 pushed by Gbury
March 20, 2025 13:50 12m 34s master
master
March 20, 2025 13:50 12m 34s
Fix doc of -w / --warn to match what the code actually does install #661: Pull request #233 opened by bclement-ocp
March 19, 2025 15:38 13m 0s bclement-ocp:fix-warn-doc
bclement-ocp:fix-warn-doc
March 19, 2025 15:38 13m 0s
Fix doc of -w / --warn to match what the code actually does build #706: Pull request #233 opened by bclement-ocp
March 19, 2025 15:38 3m 44s bclement-ocp:fix-warn-doc
bclement-ocp:fix-warn-doc
March 19, 2025 15:38 3m 44s
feat: Add support for user-defined builtins with Dune plugins build #705: Pull request #214 synchronize by bclement-ocp
March 19, 2025 15:29 3m 49s bclement-ocp:extensions
bclement-ocp:extensions
March 19, 2025 15:29 3m 49s
feat: Add support for user-defined builtins with Dune plugins install #660: Pull request #214 synchronize by bclement-ocp
March 19, 2025 15:29 15m 11s bclement-ocp:extensions
bclement-ocp:extensions
March 19, 2025 15:29 15m 11s
feat: Add support for user-defined builtins with Dune plugins build #704: Pull request #214 synchronize by bclement-ocp
March 19, 2025 09:47 4m 1s bclement-ocp:extensions
bclement-ocp:extensions
March 19, 2025 09:47 4m 1s
feat: Add support for user-defined builtins with Dune plugins install #659: Pull request #214 synchronize by bclement-ocp
March 19, 2025 09:47 11m 44s bclement-ocp:extensions
bclement-ocp:extensions
March 19, 2025 09:47 11m 44s
feat: Add support for user-defined builtins with Dune plugins install #658: Pull request #214 synchronize by bclement-ocp
March 18, 2025 17:19 23m 50s bclement-ocp:extensions
bclement-ocp:extensions
March 18, 2025 17:19 23m 50s
feat: Add support for user-defined builtins with Dune plugins build #703: Pull request #214 synchronize by bclement-ocp
March 18, 2025 17:19 3m 4s bclement-ocp:extensions
bclement-ocp:extensions
March 18, 2025 17:19 3m 4s
feat: Add support for user-defined builtins with Dune plugins build #702: Pull request #214 synchronize by bclement-ocp
March 18, 2025 17:14 4m 3s bclement-ocp:extensions
bclement-ocp:extensions
March 18, 2025 17:14 4m 3s
feat: Add support for user-defined builtins with Dune plugins install #657: Pull request #214 synchronize by bclement-ocp
March 18, 2025 17:14 21m 31s bclement-ocp:extensions
bclement-ocp:extensions
March 18, 2025 17:14 21m 31s
feat: Add support for user-defined builtins with Dune plugins install #656: Pull request #214 synchronize by bclement-ocp
March 18, 2025 17:10 14m 0s bclement-ocp:extensions
bclement-ocp:extensions
March 18, 2025 17:10 14m 0s
feat: Add support for user-defined builtins with Dune plugins build #701: Pull request #214 synchronize by bclement-ocp
March 18, 2025 17:10 3m 54s bclement-ocp:extensions
bclement-ocp:extensions
March 18, 2025 17:10 3m 54s
feat: Add support for user-defined builtins with Dune plugins install #655: Pull request #214 synchronize by bclement-ocp
March 18, 2025 17:00 12m 25s bclement-ocp:extensions
bclement-ocp:extensions
March 18, 2025 17:00 12m 25s
feat: Add support for user-defined builtins with Dune plugins build #700: Pull request #214 synchronize by bclement-ocp
March 18, 2025 17:00 3m 43s bclement-ocp:extensions
bclement-ocp:extensions
March 18, 2025 17:00 3m 43s
pages build and deployment pages-build-deployment #84: by github-pages bot
March 18, 2025 16:15 1m 23s gh-pages
gh-pages
March 18, 2025 16:15 1m 23s