Getting Started
Documentation
Organisations
ocaml-gospel
gospel
e2377a
Fix print function for tagged identifiers This is a small issue from the last PR where we added the fixity to the record for the identifiers. We changed the print function for unqualified identifiers but not for qualified ones.
e2377a
-
Oct 21 09:24 +00:00
-
PR#454
Build History
4m09s
Cancel
Rebuild
Rebuild All
Rebuild Failed
(analysis)
Created at Oct 24 14:45 +00:00
-
2m12s in queue
Ran for 1m57s
(lint-doc)
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 11s
(lint-fmt)
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 1m32s
(lint-opam)
Created at Oct 21 09:24 +00:00
-
0s in queue
(experimental)
Ran for 2s
(lower-bound)
Created at Oct 21 09:24 +00:00
-
0s in queue
(experimental)
Ran for 7s
alpine-3.22-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 11s
alpine-3.22-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 11s
debian-12-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 10s
debian-12-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 11s
debian-13-4.14+flambda_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 13s
debian-13-4.14_arm32_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 20s
debian-13-4.14_arm64_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 17s
debian-13-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 11s
debian-13-4.14_ppc64_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 13s
debian-13-4.14_riscv64_opam-2.4
Created at Oct 21 09:24 +00:00
-
40m30s in queue
Ran for 13m49s
debian-13-4.14_s390x_opam-2.4
Created at Oct 21 09:24 +00:00
-
3m02s in queue
Ran for 23s
debian-13-4.14_x86_32_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 12s
debian-13-5.0_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 11s
debian-13-5.1_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 8s
debian-13-5.2_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 8s
debian-13-5.3_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 12s
debian-13-5.4+flambda_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 13s
debian-13-5.4_arm64_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 16s
debian-13-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 9s
debian-13-5.4_ppc64_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 15s
debian-13-5.4_riscv64_opam-2.4
Created at Oct 21 09:24 +00:00
-
25m08s in queue
Ran for 15m22s
debian-13-5.4_s390x_opam-2.4
Created at Oct 21 09:24 +00:00
-
3m02s in queue
Ran for 23s
fedora-42-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 11s
fedora-42-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 10s
fedora-43-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 8s
fedora-43-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 11s
freebsd-14.3-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 11s
freebsd-14.3-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 11s
macos-homebrew-4.14_arm64_opam-2.4
Created at Oct 21 09:24 +00:00
-
1m56s in queue
Ran for 16s
macos-homebrew-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
24m45s in queue
Ran for 28s
macos-homebrew-5.4_arm64_opam-2.4
Created at Oct 21 09:24 +00:00
-
1m09s in queue
Ran for 16s
macos-homebrew-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
1m56s in queue
Ran for 26s
openbsd-77-amd64-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
2m03s in queue
(experimental)
Ran for 16m43s
openbsd-77-amd64-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
1m40s in queue
(experimental)
Ran for 2m11s
opensuse-15.6-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 7s
opensuse-15.6-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 9s
opensuse-16.0-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 8s
opensuse-16.0-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 11s
ubuntu-22.04-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 10s
ubuntu-22.04-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 8s
ubuntu-24.04-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 7s
ubuntu-24.04-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 7s
ubuntu-25.04-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 10s
ubuntu-25.04-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 10s
ubuntu-25.10-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 10s
ubuntu-25.10-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
0s in queue
Ran for 7s
windows-server-2022-amd64-4.14_opam-2.4
Created at Oct 21 09:24 +00:00
-
1m25s in queue
(experimental)
Ran for 23m39s
windows-server-2022-amd64-5.4_opam-2.4
Created at Oct 21 09:24 +00:00
-
1m16s in queue
(experimental)
Ran for 26m29s
*Variants labelled
(experimental)
are still undergoing testing; if they have failed it may be a bug in OCaml-CI.