Getting Started
Documentation
Organisations
ocaml-gospel
ortac
a0d1ae
a0d1ae08c4ca185d259670daca268c5a02718cc7
a0d1ae
-
Jul 31 07:28 +00:00
17h02m
Cancel
Rebuild
Rebuild All
Rebuild Failed
(analysis)
Created at Aug 21 09:18 +00:00
-
1m09s in queue
Ran for 2m12s
(lint-doc)
Created at Aug 20 17:08 +00:00
-
26m01s in queue
Ran for 5m01s
(lint-fmt)
Created at Jul 31 07:28 +00:00
-
4h19m in queue
Ran for 3s
(lint-opam)
Created at Aug 20 17:08 +00:00
-
24m58s in queue
(experimental)
Ran for 5m42s
(lower-bound)
Created at Jul 31 07:28 +00:00
-
4h19m in queue
(experimental)
Ran for 5m13s
alpine-3.21-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
24m57s in queue
Ran for 6m12s
alpine-3.21-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
29m18s in queue
Ran for 1m45s
debian-11-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m49s in queue
Ran for 1m45s
debian-11-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
29m16s in queue
Ran for 1m31s
debian-12-4.12_opam-2.4
Created at Aug 20 17:08 +00:00
-
25m57s in queue
Ran for 3m20s
debian-12-4.13_opam-2.4
Created at Aug 20 17:08 +00:00
-
25m56s in queue
Ran for 3m24s
debian-12-4.14+flambda_opam-2.4
Created at Aug 20 17:08 +00:00
-
28m49s in queue
Ran for 1m50s
debian-12-4.14_arm32_opam-2.4
Created at Aug 20 17:08 +00:00
-
44m44s in queue
Ran for 5m07s
debian-12-4.14_arm64_opam-2.4
Created at Aug 20 17:08 +00:00
-
43m13s in queue
Ran for 2m52s
debian-12-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
28m29s in queue
Ran for 1m27s
debian-12-4.14_ppc64_opam-2.4
Created at Aug 20 17:08 +00:00
-
5m17s in queue
Ran for 2m47s
debian-12-4.14_s390x_opam-2.4
Created at Aug 20 17:08 +00:00
-
4h50m in queue
Ran for 9m59s
debian-12-4.14_x86_32_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m41s in queue
Ran for 2m01s
debian-12-5.0_opam-2.4
Created at Aug 20 17:08 +00:00
-
25m56s in queue
Ran for 3m19s
debian-12-5.1_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m38s in queue
Ran for 1m47s
debian-12-5.2_opam-2.4
Created at Aug 20 17:08 +00:00
-
28m26s in queue
Ran for 1m29s
debian-12-5.3+flambda_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m38s in queue
Ran for 2m03s
debian-12-5.3_arm32_opam-2.4
Created at Aug 20 17:08 +00:00
-
42m43s in queue
Ran for 3m51s
debian-12-5.3_arm64_opam-2.4
Created at Aug 20 17:08 +00:00
-
44m05s in queue
Ran for 2m05s
debian-12-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
28m08s in queue
Ran for 1m29s
debian-12-5.3_ppc64_opam-2.4
Created at Aug 20 17:08 +00:00
-
5m17s in queue
Ran for 3m23s
debian-12-5.3_s390x_opam-2.4
Created at Aug 20 17:08 +00:00
-
4h48m in queue
Ran for 7m49s
debian-12-5.3_x86_32_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m35s in queue
Ran for 3m26s
fedora-41-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
28m03s in queue
Ran for 1m23s
fedora-41-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m24s in queue
Ran for 1m40s
fedora-42-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m14s in queue
Ran for 3m45s
fedora-42-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m22s in queue
Ran for 1m40s
freebsd-14.2-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
16h00m in queue
Ran for 58m42s
freebsd-14.2-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
15h52m in queue
Ran for 1h02m
macos-homebrew-4.14_arm64_opam-2.4
Created at Aug 20 17:08 +00:00
-
1h12m in queue
Ran for 1m58s
macos-homebrew-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
3h14m in queue
Ran for 3m51s
macos-homebrew-5.3_arm64_opam-2.4
Created at Aug 20 17:08 +00:00
-
1h13m in queue
Ran for 8m07s
macos-homebrew-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
3h12m in queue
Ran for 3m45s
openbsd-77-amd64-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
4h19m in queue
(experimental)
Ran for 22m50s
openbsd-77-amd64-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
4h19m in queue
(experimental)
Ran for 24m45s
opensuse-15.6-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m19s in queue
Ran for 2m25s
opensuse-15.6-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
27m59s in queue
Ran for 2m45s
ubuntu-22.04-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
25m32s in queue
Ran for 9m06s
ubuntu-22.04-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m19s in queue
Ran for 1m57s
ubuntu-24.04-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
25m48s in queue
Ran for 3m26s
ubuntu-24.04-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
24m56s in queue
Ran for 6m13s
ubuntu-24.10-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m06s in queue
Ran for 1m47s
ubuntu-24.10-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m03s in queue
Ran for 1m50s
ubuntu-25.04-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
27m45s in queue
Ran for 1m33s
ubuntu-25.04-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
26m56s in queue
Ran for 1m33s
windows-server-2022-amd64-4.14_opam-2.4
Created at Aug 20 17:08 +00:00
-
3h26m in queue
(experimental)
Ran for 28m01s
windows-server-2022-amd64-5.3_opam-2.4
Created at Aug 20 17:08 +00:00
-
3h21m in queue
(experimental)
Ran for 35m39s
*Variants labelled
(experimental)
are still undergoing testing; if they have failed it may be a bug in OCaml-CI.