Getting Started
Documentation
Organisations
mirleft
ocaml-x509
26de99
Remove P224 - see mirage/mirage-crypto#209
26de99
-
May 10 08:49 +00:00
-
PR#166
Build History
7h19m
Cancel
Rebuild
Rebuild All
Rebuild Failed
(analysis)
Created at May 17 13:11 +00:00
-
11m01s in queue
Ran for 41m20s
(lint-doc)
Created at May 10 16:15 +00:00
-
17h29m in queue
Ran for 5m14s
(lint-fmt)
Created at May 10 16:15 +00:00
-
17h29m in queue
Ran for 2m34s
(lint-opam)
Created at May 10 22:06 +00:00
-
14h06m in queue
(experimental)
Ran for 1m26s
(lower-bound)
Created at May 10 16:15 +00:00
-
17h29m in queue
(experimental)
Ran for 2m48s
alpine-3.19-4.14_opam-2.1
Created at May 10 15:37 +00:00
-
10h15m in queue
Ran for 2m44s
alpine-3.19-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
40m55s in queue
Ran for 1s
debian-10-4.14_opam-2.1
Created at May 10 15:38 +00:00
-
10h34m in queue
Ran for 2m51s
debian-11-4.14_opam-2.1
Created at May 10 15:38 +00:00
-
10h25m in queue
Ran for 5m57s
debian-11-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
40m44s in queue
Ran for 1s
debian-12-4.08_opam-2.1
Created at May 10 16:15 +00:00
-
17h29m in queue
Ran for 1m58s
debian-12-4.09_opam-2.1
Created at May 10 16:00 +00:00
-
14h42m in queue
Ran for 1m40s
debian-12-4.10_opam-2.1
Created at May 10 15:54 +00:00
-
11h48m in queue
Ran for 1m03s
debian-12-4.11_opam-2.1
Created at May 10 22:03 +00:00
-
13h34m in queue
Ran for 2m28s
debian-12-4.12_opam-2.1
Created at May 10 22:07 +00:00
-
15h01m in queue
Ran for 1m30s
debian-12-4.13_opam-2.1
Created at May 14 11:45 +00:00
-
5m04s in queue
Ran for 15m10s
debian-12-4.14+flambda_opam-2.1
Created at May 10 15:54 +00:00
-
11h48m in queue
Ran for 1m11s
debian-12-4.14_arm32_opam-2.1
Created at May 10 16:15 +00:00
-
1h21m in queue
Ran for 20m10s
debian-12-4.14_arm64_opam-2.1
Created at May 10 19:04 +00:00
-
13m28s in queue
Ran for 6m05s
debian-12-4.14_opam-2.1
Created at May 10 19:04 +00:00
-
16h00m in queue
Ran for 5m35s
debian-12-4.14_ppc64_opam-2.1
Created at May 10 19:04 +00:00
-
36m22s in queue
Ran for 6m50s
debian-12-4.14_s390x_opam-2.1
Created at May 10 19:04 +00:00
-
9h56m in queue
Ran for 1m35s
debian-12-4.14_x86_32_opam-2.1
Created at May 10 22:02 +00:00
-
13h19m in queue
Ran for 2m24s
debian-12-5.0_opam-2.1
Created at May 10 22:06 +00:00
-
14h06m in queue
Ran for 2m06s
debian-12-5.1_opam-2.1
Created at May 10 15:59 +00:00
-
14h23m in queue
Ran for 5m03s
debian-12-5.2+flambda_opam-2.1
Created at May 17 11:23 +00:00
-
40m44s in queue
Ran for 1s
debian-12-5.2_arm32_opam-2.1
Created at May 17 11:23 +00:00
-
0s in queue
Ran for 13s
debian-12-5.2_arm64_opam-2.1
Created at May 17 11:23 +00:00
-
0s in queue
Ran for 8s
debian-12-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
40m59s in queue
Ran for 2s
debian-12-5.2_ppc64_opam-2.1
Created at May 17 11:23 +00:00
-
15m19s in queue
Ran for 50s
debian-12-5.2_s390x_opam-2.1
Created at May 17 11:23 +00:00
-
5h33m in queue
Ran for 1m38s
debian-12-5.2_x86_32_opam-2.1
Created at May 17 11:23 +00:00
-
41m14s in queue
Ran for 5m12s
fedora-38-4.14_opam-2.1
Created at May 10 15:49 +00:00
-
10h52m in queue
Ran for 7m05s
fedora-38-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
40m43s in queue
Ran for 1s
fedora-39-4.14_opam-2.1
Created at May 10 08:49 +00:00
-
2h49m in queue
Ran for 10m14s
fedora-39-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
40m16s in queue
Ran for 2m20s
fedora-40-4.14_opam-2.1
Created at May 10 08:49 +00:00
-
2h54m in queue
Ran for 7m43s
fedora-40-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
40m36s in queue
Ran for 1s
freebsd-4.14_opam-2.1
Created at May 10 08:49 +00:00
-
26m06s in queue
(experimental)
Ran for 5m45s
freebsd-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
2h09m in queue
(experimental)
Ran for 15s
macos-homebrew-4.14_arm64_opam-2.1
Created at May 10 08:49 +00:00
-
19m27s in queue
(experimental)
Ran for 1m43s
macos-homebrew-4.14_opam-2.1
Created at May 10 08:49 +00:00
-
52m45s in queue
(experimental)
Ran for 4m03s
macos-homebrew-5.2_arm64_opam-2.1
Created at May 17 11:23 +00:00
-
3h34m in queue
(experimental)
Ran for 9s
macos-homebrew-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
6h26m in queue
(experimental)
Ran for 17s
opensuse-15.5-4.14_opam-2.1
Created at May 10 15:51 +00:00
-
11h28m in queue
Ran for 3m53s
opensuse-15.5-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
40m54s in queue
Ran for 1s
ubuntu-20.04-4.14_opam-2.1
Created at May 10 15:37 +00:00
-
9h55m in queue
Ran for 3m32s
ubuntu-20.04-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
41m21s in queue
Ran for 2m04s
ubuntu-22.04-4.14_opam-2.1
Created at May 10 15:58 +00:00
-
13h55m in queue
Ran for 1m54s
ubuntu-22.04-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
40m42s in queue
Ran for 1s
ubuntu-23.04-4.14_opam-2.1
Created at May 10 15:51 +00:00
-
11h19m in queue
Ran for 2m42s
ubuntu-23.04-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
40m56s in queue
Ran for 3s
ubuntu-23.10-4.14_opam-2.1
Created at May 10 16:15 +00:00
-
18h04m in queue
Ran for 5m03s
ubuntu-23.10-5.2_opam-2.1
Created at May 17 11:23 +00:00
-
40m35s in queue
Ran for 1s
*Variants labelled
(experimental)
are still undergoing testing; if they have failed it may be a bug in OCaml-CI.