Getting Started
Documentation
Organisations
mbarbin
print-table
pull/9
Build History
Build History for pull/9
Builds (8)
Experiment with a setup-dune based more-ci workflow
23d726
-
Jan 09 21:41 +00:00
Running for 10h43m
Experiment with only-packages input
e8410d
-
Jan 08 10:37 +00:00
Passed in 3m02s
Experiment with only-packages input
61f82c
-
Jan 08 10:28 +00:00
Running for 7m03s
Update opam files
e1f9ed
-
Jan 07 00:00 +00:00
Passed in 5m42s
Simplify itd for now
004d97
-
Jan 06 23:47 +00:00
Passed in 4m46s
Select dune-workspace file in CI
39ec32
-
Jan 06 23:38 +00:00
Passed in 3m58s
Select dune-workspace file in CI
53b36e
-
Jan 06 23:32 +00:00
Passed in 4m20s
Experiment with a setup-dune based more-ci workflow
e5fc68
-
Jan 06 17:11 +00:00
Passed in 13m11s