Getting Started
Documentation
Organisations
mirage
mirage-flow
c0efad
Merge pull request #53 from hannesm/variants defunctorise
c0efad
-
Mar 18 21:07 +00:00
-
main
Build History
9m43s
Cancel
Rebuild
Rebuild All
Rebuild Failed
(analysis)
Created at Apr 02 17:39 +00:00
-
3m29s in queue
Ran for 6m14s
(lint-doc)
Created at Mar 19 18:27 +00:00
-
1h18m in queue
Ran for 2m51s
(lint-fmt)
Created at Mar 19 18:27 +00:00
-
1h18m in queue
Ran for 1s
(lint-opam)
Created at Mar 19 18:56 +00:00
-
2h46m in queue
(experimental)
Ran for 26m54s
(lower-bound)
Created at Mar 19 18:27 +00:00
-
1h18m in queue
(experimental)
Ran for 1m50s
alpine-3.21-4.14_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 2m07s
alpine-3.21-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 2m40s
debian-11-4.14_opam-2.3
Created at Mar 19 18:31 +00:00
-
2h13m in queue
Ran for 1m12s
debian-11-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 7m05s
debian-12-4.08_opam-2.3
Created at Mar 19 18:27 +00:00
-
1h18m in queue
Ran for 2m12s
debian-12-4.09_opam-2.3
Created at Mar 19 18:25 +00:00
-
34m03s in queue
Ran for 2m55s
debian-12-4.10_opam-2.3
Created at Mar 19 18:25 +00:00
-
34m02s in queue
Ran for 24m52s
debian-12-4.11_opam-2.3
Created at Mar 19 18:25 +00:00
-
34m02s in queue
Ran for 24m18s
debian-12-4.12_opam-2.3
Created at Mar 19 18:26 +00:00
-
1h07m in queue
Ran for 2m25s
debian-12-4.13_opam-2.3
Created at Mar 19 18:55 +00:00
-
2h12m in queue
Ran for 1m58s
debian-12-4.14+flambda_opam-2.3
Created at Mar 19 18:31 +00:00
-
2h06m in queue
Ran for 2m20s
debian-12-4.14_arm32_opam-2.3
Created at Mar 19 18:28 +00:00
-
3h50m in queue
Ran for 1m40s
debian-12-4.14_arm64_opam-2.3
Created at Mar 19 18:26 +00:00
-
1h21m in queue
Ran for 1m09s
debian-12-4.14_opam-2.3
Created at Mar 19 18:54 +00:00
-
2h06m in queue
Ran for 2m09s
debian-12-4.14_ppc64_opam-2.3
Created at Mar 19 18:27 +00:00
-
1h34m in queue
Ran for 32m51s
debian-12-4.14_s390x_opam-2.3
Created at Mar 19 18:56 +00:00
-
11h23m in queue
Ran for 4m34s
debian-12-4.14_x86_32_opam-2.3
Created at Mar 19 18:32 +00:00
-
2h19m in queue
Ran for 1m11s
debian-12-5.0_opam-2.3
Created at Mar 19 18:56 +00:00
-
2h46m in queue
Ran for 26m04s
debian-12-5.1_opam-2.3
Created at Mar 19 18:25 +00:00
-
12m37s in queue
Ran for 3m42s
debian-12-5.2_opam-2.3
Created at Mar 19 18:55 +00:00
-
2h22m in queue
Ran for 1m32s
debian-12-5.3+flambda_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 1m11s
debian-12-5.3_arm32_opam-2.3
Created at Mar 18 21:07 +00:00
-
3h02m in queue
Ran for 1m46s
debian-12-5.3_arm64_opam-2.3
Created at Mar 18 21:07 +00:00
-
3h02m in queue
Ran for 1m13s
debian-12-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 1m05s
debian-12-5.3_ppc64_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h11m in queue
Ran for 3m08s
debian-12-5.3_s390x_opam-2.3
Created at Mar 18 21:07 +00:00
-
8h10m in queue
Ran for 2m58s
debian-12-5.3_x86_32_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 1m46s
fedora-40-4.14_opam-2.3
Created at Mar 19 18:28 +00:00
-
1h26m in queue
Ran for 1m02s
fedora-40-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 7m48s
fedora-41-4.14_opam-2.3
Created at Mar 19 18:28 +00:00
-
1h33m in queue
Ran for 2m09s
fedora-41-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 1m04s
freebsd-14.2-4.14_opam-2.3
Created at Mar 26 15:59 +00:00
-
4h59m in queue
Ran for 3m48s
freebsd-14.2-5.3_opam-2.3
Created at Mar 26 15:59 +00:00
-
4h59m in queue
Ran for 3m59s
macos-homebrew-4.14_arm64_opam-2.3
Created at Mar 18 21:07 +00:00
-
4h19m in queue
Ran for 1m31s
macos-homebrew-4.14_opam-2.3
Created at Mar 18 21:07 +00:00
-
8h22m in queue
Ran for 3m12s
macos-homebrew-5.3_arm64_opam-2.3
Created at Mar 18 21:07 +00:00
-
4h18m in queue
Ran for 1m43s
macos-homebrew-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
8h21m in queue
Ran for 2m31s
openbsd-76-amd64-4.14_opam-2.3
Created at Mar 18 21:07 +00:00
-
4h10m in queue
(experimental)
Ran for 14m48s
openbsd-76-amd64-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
4h08m in queue
(experimental)
Ran for 16m36s
opensuse-15.6-4.14_opam-2.3
Created at Mar 19 18:26 +00:00
-
59m21s in queue
Ran for 2m29s
opensuse-15.6-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 32m01s
ubuntu-20.04-4.14_opam-2.3
Created at Mar 19 18:25 +00:00
-
20m57s in queue
Ran for 1m10s
ubuntu-20.04-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 31m09s
ubuntu-22.04-4.14_opam-2.3
Created at Mar 19 18:26 +00:00
-
50m27s in queue
Ran for 2m31s
ubuntu-22.04-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 1m12s
ubuntu-24.04-4.14_opam-2.3
Created at Mar 19 18:26 +00:00
-
42m21s in queue
Ran for 1m46s
ubuntu-24.04-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 1m08s
ubuntu-24.10-4.14_opam-2.3
Created at Mar 19 18:58 +00:00
-
2h55m in queue
Ran for 1m04s
ubuntu-24.10-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h27m in queue
Ran for 1m08s
windows-server-2022-amd64-4.14_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h12m in queue
(experimental)
Ran for 3m57s
windows-server-2022-amd64-5.3_opam-2.3
Created at Mar 18 21:07 +00:00
-
1h12m in queue
(experimental)
Ran for 3m49s
*Variants labelled
(experimental)
are still undergoing testing; if they have failed it may be a bug in OCaml-CI.