Getting Started
Documentation
Organisations
mirage
irmin
bef069
Merge pull request #2318 from art-w/eio-libirmin libirmin: reuse a single eio scheduler across calls
bef069
-
Dec 14 10:13 +00:00
-
eio
Build History
-
PR#2363
Build History
9m20s
Cancel
Rebuild
Rebuild All
Rebuild Failed
(analysis)
Created at Dec 16 02:11 +00:00
-
5m16s in queue
Ran for 4m04s
(lint-doc)
Created at Dec 15 14:45 +00:00
-
10h54m in queue
Ran for 4m23s
(lint-fmt)
Created at Dec 14 10:13 +00:00
-
11m34s in queue
Ran for 24s
(lint-opam)
Created at Dec 15 14:45 +00:00
-
10h57m in queue
(experimental)
Ran for 18s
(lower-bound)
Created at Dec 15 14:45 +00:00
-
10h53m in queue
(experimental)
Ran for 1m21s
debian-13-5.2_opam-2.4
Created at Dec 15 14:45 +00:00
-
10h54m in queue
Ran for 8m26s
debian-13-5.3_opam-2.4
Created at Dec 15 14:45 +00:00
-
10h57m in queue
Ran for 9m36s
*Variants labelled
(experimental)
are still undergoing testing; if they have failed it may be a bug in OCaml-CI.