Getting Started
Documentation
Organisations
mirage
irmin
4cd100
D4 delivery
4cd100
-
Feb 27 12:02 +00:00
-
spice
Build History
5m40s
Cancel
Rebuild
Rebuild All
Rebuild Failed
(analysis)
Created at Mar 12 15:57 +00:00
-
2m43s in queue
Ran for 2m57s
(lint-doc)
Created at Mar 10 15:05 +00:00
-
38m20s in queue
Ran for 4m27s
(lint-fmt)
Created at Feb 27 12:02 +00:00
-
7m25s in queue
Ran for 10s
(lint-opam)
Created at Mar 10 15:05 +00:00
-
34m25s in queue
(experimental)
Ran for 2s
(lower-bound)
Created at Mar 06 12:06 +00:00
-
1h30m in queue
(experimental)
Ran for 19m43s
debian-13-5.2_opam-2.5
Created at Mar 10 15:05 +00:00
-
38m09s in queue
Ran for 6m52s
debian-13-5.3_opam-2.5
Created at Mar 10 15:05 +00:00
-
38m09s in queue
Ran for 6m55s
*Variants labelled
(experimental)
are still undergoing testing; if they have failed it may be a bug in OCaml-CI.