Getting Started Documentation

Organisations mbarbin print-table branch/setup-dune-more-ci Build History

Build History for branch/setup-dune-more-ci

Builds (8)

Experiment with a setup-dune based more-ci workflow

Jan 09 21:41 +00:00

Running for 10h43m

Experiment with only-packages input

Jan 08 10:37 +00:00

Passed in 3m02s

Experiment with only-packages input

Jan 08 10:28 +00:00

Failed in 7m03s

Update opam files

Jan 07 00:00 +00:00

Passed in 5m42s

Simplify itd for now

Jan 06 23:47 +00:00

Passed in 4m46s

Select dune-workspace file in CI

Jan 06 23:38 +00:00

Passed in 3m58s

Select dune-workspace file in CI

Jan 06 23:32 +00:00

Passed in 4m20s

Experiment with a setup-dune based more-ci workflow

Jan 06 17:11 +00:00

Passed in 28m48s