Skip to content

Actions: OCamlPro/drom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use drom 0.9.3 to use :version in dune files instead of version Main Workflow #475: Pull request #247 synchronize by lefessan
August 12, 2025 09:52 9m 59s lefessan:z-2025-08-10-dune-version-variable
lefessan:z-2025-08-10-dune-version-variable
August 12, 2025 09:52 9m 59s
use drom 0.9.3 to use :version in dune files instead of version Main Workflow #474: Pull request #247 synchronize by lefessan
August 12, 2025 09:47 10m 51s lefessan:z-2025-08-10-dune-version-variable
lefessan:z-2025-08-10-dune-version-variable
August 12, 2025 09:47 10m 51s
use drom 0.9.3 to use :version in dune files instead of version Main Workflow #473: Pull request #247 opened by lefessan
August 10, 2025 16:42 6s lefessan:z-2025-08-10-dune-version-variable
lefessan:z-2025-08-10-dune-version-variable
August 10, 2025 16:42 6s
Get rid of warnings about missing inclusion of unix library in hard-coded command Main Workflow #472: Pull request #245 opened by nberth
April 25, 2025 07:29 12s nberth:rid-of-warnings-about-unix
nberth:rid-of-warnings-about-unix
April 25, 2025 07:29 12s
allows to use future directories release (0.6), fix some deprecation errors Main Workflow #470: Pull request #242 opened by zapashcanon
January 28, 2025 14:00 10m 10s zapashcanon:master
zapashcanon:master
January 28, 2025 14:00 10m 10s
Fixed #224: added sites managment. Main Workflow #467: Pull request #229 synchronize by Ninjapouet
July 16, 2024 09:53 5m 4s Ninjapouet:fix#224
Ninjapouet:fix#224
July 16, 2024 09:53 5m 4s
Fixed #224: added sites managment. Main Workflow #466: Pull request #229 synchronize by Ninjapouet
July 16, 2024 06:06 10m 14s Ninjapouet:fix#224
Ninjapouet:fix#224
July 16, 2024 06:06 10m 14s
Fixed #224: added sites managment. Main Workflow #465: Pull request #229 synchronize by Ninjapouet
July 15, 2024 15:14 10m 12s Ninjapouet:fix#224
Ninjapouet:fix#224
July 15, 2024 15:14 10m 12s
Fixed #224: added sites managment. Main Workflow #464: Pull request #229 opened by Ninjapouet
July 15, 2024 15:11 10m 22s Ninjapouet:fix#224
Ninjapouet:fix#224
July 15, 2024 15:11 10m 22s