Skip to content

Actions: OCamlPro/drom

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
33 workflow runs
33 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Merge pull request #223 from lefessan/Ninjapouet-fix-dune-lang
Main Workflow #461: Commit 87f34da pushed by lefessan
June 5, 2024 11:33 7m 56s master
June 5, 2024 11:33 7m 56s
Merge pull request #222 from nberth/out-of-source-version
Main Workflow #459: Commit b42a6f0 pushed by lefessan
June 5, 2024 11:29 7m 30s master
June 5, 2024 11:29 7m 30s
Ninjapouet fix dune lang
Main Workflow #458: Pull request #223 opened by lefessan
June 5, 2024 11:28 7m 37s lefessan:Ninjapouet-fix-dune-lang
June 5, 2024 11:28 7m 37s
Merge pull request #212 from lefessan/z-2023-05-10-subst-package
Main Workflow #457: Commit 6ce330a pushed by lefessan
June 5, 2024 09:47 9m 35s master
June 5, 2024 09:47 9m 35s
Generate version.mlts that support out-of-source builds
Main Workflow #454: Pull request #222 synchronize by nberth
November 7, 2023 13:55 9m 49s nberth:out-of-source-version
November 7, 2023 13:55 9m 49s
Generate version.mlts that support out-of-source builds
Main Workflow #453: Pull request #222 opened by nberth
November 7, 2023 13:49 13m 59s nberth:out-of-source-version
November 7, 2023 13:49 13m 59s
Remove dependency towards unused ez_config
Main Workflow #452: Pull request #220 opened by lefessan
September 29, 2023 07:25 22m 34s lefessan:z-2023-09-29-remove-ez-config
September 29, 2023 07:25 22m 34s
Merge pull request #216 from lefessan/z-2023-06-09-cross-windows
Main Workflow #451: Commit 63a5770 pushed by lefessan
June 12, 2023 16:05 15m 50s master
June 12, 2023 16:05 15m 50s
Merge pull request #215 from lefessan/z-2023-06-09-cross-windows
Main Workflow #449: Commit a8847d6 pushed by lefessan
June 9, 2023 17:36 19m 40s master
June 9, 2023 17:36 19m 40s
Fixed dune lang handling
Main Workflow #447: Pull request #214 opened by Ninjapouet
June 1, 2023 07:43 10m 4s Ninjapouet:fix-dune-lang
June 1, 2023 07:43 10m 4s
Merge pull request #213 from lefessan/z-2023-05-10-latest-version
Main Workflow #445: Commit 4a67af7 pushed by lefessan
May 10, 2023 15:54 15m 5s master
May 10, 2023 15:54 15m 5s
Support for LATEST_VERSIONS
Main Workflow #444: Pull request #213 opened by lefessan
May 10, 2023 14:59 24m 9s lefessan:z-2023-05-10-latest-version
May 10, 2023 14:59 24m 9s
Merge pull request #211 from emilienlemaire/menhir
Main Workflow #442: Commit b2bc2e6 pushed by lefessan
May 10, 2023 14:54 18m 39s master
May 10, 2023 14:54 18m 39s
Add menhir table for packages
Main Workflow #440: Pull request #211 opened by emilienlemaire
May 6, 2023 17:39 20m 45s emilienlemaire:menhir
May 6, 2023 17:39 20m 45s
Merge pull request #209 from lefessan/z-2023-04-24-headers-and-create
Main Workflow #439: Commit 75a452c pushed by lefessan
April 27, 2023 14:44 15m 20s master
April 27, 2023 14:44 15m 20s
Bump to 0.9.2~dev3, fix on create
Main Workflow #438: Pull request #209 synchronize by lefessan
April 27, 2023 14:28 14m 13s lefessan:z-2023-04-24-headers-and-create
April 27, 2023 14:28 14m 13s