Getting Started
Documentation
Organisations
ocaml-gospel
gospel
44e2c6
44e2c6ca4ac458f80192e0bff2ee05e2b31985f3
44e2c6
-
Sep 27 13:30 +00:00
32m51s
Cancel
Rebuild
Rebuild All
Rebuild Failed
(analysis)
Created at Oct 06 12:26 +00:00
-
0s in queue
Ran for 5s
(lint-doc)
Created at Oct 06 12:26 +00:00
-
25m17s in queue
Ran for 7m29s
(lint-fmt)
Created at Oct 01 07:29 +00:00
-
0s in queue
Ran for 3s
(lint-opam)
Created at Oct 06 12:26 +00:00
-
25m04s in queue
(experimental)
Ran for 2m57s
(lower-bound)
Created at Sep 27 13:30 +00:00
-
1h56m in queue
(experimental)
Ran for 3m11s
alpine-3.22-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m47s in queue
Ran for 7m26s
alpine-3.22-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m47s in queue
Ran for 7m16s
debian-11-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m45s in queue
Ran for 1m46s
debian-11-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m43s in queue
Ran for 1m50s
debian-12-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m40s in queue
Ran for 5m27s
debian-12-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m40s in queue
Ran for 6m06s
debian-13-4.14+flambda_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m40s in queue
Ran for 5m51s
debian-13-4.14_arm32_opam-2.4
Created at Oct 06 12:26 +00:00
-
0s in queue
Ran for 2m21s
debian-13-4.14_arm64_opam-2.4
Created at Oct 06 12:26 +00:00
-
0s in queue
Ran for 1m19s
debian-13-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m39s in queue
Ran for 2m37s
debian-13-4.14_ppc64_opam-2.4
Created at Oct 06 12:26 +00:00
-
0s in queue
Ran for 1m17s
debian-13-4.14_riscv64_opam-2.4
Created at -
-
- in queue
Ran for -
debian-13-4.14_s390x_opam-2.4
Created at Oct 06 12:26 +00:00
-
5m37s in queue
Ran for 6m07s
debian-13-4.14_x86_32_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m39s in queue
Ran for 3m34s
debian-13-5.0_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m39s in queue
Ran for 2m35s
debian-13-5.1_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m25s in queue
Ran for 3m16s
debian-13-5.2_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m25s in queue
Ran for 3m13s
debian-13-5.3+flambda_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m25s in queue
Ran for 3m43s
debian-13-5.3_arm64_opam-2.4
Created at Oct 06 12:26 +00:00
-
0s in queue
Ran for 1m33s
debian-13-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m21s in queue
Ran for 2m47s
debian-13-5.3_ppc64_opam-2.4
Created at Oct 06 12:26 +00:00
-
0s in queue
Ran for 1m27s
debian-13-5.3_riscv64_opam-2.4
Created at -
-
- in queue
Ran for -
debian-13-5.3_s390x_opam-2.4
Created at Oct 06 12:26 +00:00
-
5m37s in queue
Ran for 6m33s
debian-13-5.4~alpha1_opam-2.4
Created at Sep 29 11:35 +00:00
-
39m49s in queue
Ran for 1m06s
fedora-41-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m21s in queue
Ran for 3m50s
fedora-41-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m19s in queue
Ran for 3m57s
fedora-42-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m18s in queue
Ran for 2m26s
fedora-42-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m16s in queue
Ran for 1m51s
freebsd-14.2-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
0s in queue
Ran for 3m39s
freebsd-14.2-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
0s in queue
Ran for 3m42s
macos-homebrew-4.14_arm64_opam-2.4
Created at Oct 06 12:26 +00:00
-
3m51s in queue
Ran for 1m45s
macos-homebrew-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
3m38s in queue
Ran for 2m55s
macos-homebrew-5.3_arm64_opam-2.4
Created at Oct 06 12:26 +00:00
-
3m51s in queue
Ran for 1m49s
macos-homebrew-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
0s in queue
Ran for 3m38s
openbsd-77-amd64-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
18s in queue
(experimental)
Ran for 20m44s
openbsd-77-amd64-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
18s in queue
(experimental)
Ran for 21m52s
opensuse-15.6-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m05s in queue
Ran for 2m33s
opensuse-15.6-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
24m05s in queue
Ran for 4m18s
ubuntu-22.04-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
23m53s in queue
Ran for 3m27s
ubuntu-22.04-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
23m52s in queue
Ran for 3m34s
ubuntu-24.04-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
23m52s in queue
Ran for 3m25s
ubuntu-24.04-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
23m52s in queue
Ran for 5m01s
ubuntu-25.04-4.14_opam-2.4
Created at Oct 06 12:26 +00:00
-
23m49s in queue
Ran for 4m23s
ubuntu-25.04-5.3_opam-2.4
Created at Oct 06 12:26 +00:00
-
23m38s in queue
Ran for 4m03s
windows-server-2022-amd64-4.14_opam-2.4
Created at -
-
- in queue
(experimental)
Ran for -
windows-server-2022-amd64-5.3_opam-2.4
Created at -
-
- in queue
(experimental)
Ran for -
*Variants labelled
(experimental)
are still undergoing testing; if they have failed it may be a bug in OCaml-CI.