ocaml-docs-ci

Profiles › odoc-master-mini › package: alt-ergo › 2.6.4

alt-ergo.2.6.4

Open rendered docs

History

Tick two or more build rows' checkboxes (Deps column), then for version differences.

Time	Run	Status	Category	Universe	Blessed	Hash	Deps	Error
2026-10-24T09:58:06Z	2026-10-24-093125	success	docs	53f824a46f9e	blessed	1d9acbfae283	—
2026-10-23T20:37:36Z	2026-10-23-201001	success	docs	53f824a46f9e	blessed	67db7b7b5f14	—
2026-10-23T20:27:07Z	2026-10-23-201001	success	build	—	blessed	fd00f684ae09	53 deps alt-ergo-lib.2.6.4 alt-ergo-parsers.2.6.4 base-threads.base base-unix.base camlzip.1.14 cmdliner.2.1.1 compiler-cloning.enabled conf-gmp.5 conf-pkg-config.5 conf-zlib.1 cppo.1.8.0 csexp.1.5.2 dolmen.0.10 dolmen_loop.0.10 dolmen_type.0.10 dune-build-info.3.24.2 dune-private-libs.3.24.2 dune-site.3.24.2 dune.3.24.2 dyn.3.24.2 fmt.0.11.0 fs-io.3.24.2 gen.1.1 hmap.0.8.1 logs.0.10.0 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 ocaml-base-compiler.5.5.2 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.5.2 ocaml.5.5.2 ocamlbuild.0.16.1 ocamlfind.1.9.9~preview ocplib-simplex.0.5.1 ordering.3.24.2 pp.2.0.0 pp_loc.2.1.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.2.0 ppxlib.0.39.0 psmt2-frontend.0.4.0 seq.base sexplib0.v0.17.0 spelll.0.4 stdlib-shims.0.3.0 stdune.3.24.2 top-closure.3.24.2 topkg.1.1.1 uutf.1.0.4 zarith.1.14
2026-10-22T17:41:47Z	2026-10-22-171433	success	docs	129435605e74	blessed	fd1497fef3f2	—
2026-10-21T17:30:07Z	2026-10-21-164626	success	docs	129435605e74	blessed	adfa17c9317f	—
2026-10-21T17:13:49Z	2026-10-21-164626	success	build	—	blessed	185732fce2c7	53 deps alt-ergo-lib.2.6.4 alt-ergo-parsers.2.6.4 base-threads.base base-unix.base camlzip.1.14 cmdliner.2.1.1 compiler-cloning.enabled conf-gmp.5 conf-pkg-config.5 conf-zlib.1 cppo.1.8.0 csexp.1.5.2 dolmen.0.10 dolmen_loop.0.10 dolmen_type.0.10 dune-build-info.3.24.2 dune-private-libs.3.24.2 dune-site.3.24.2 dune.3.24.2 dyn.3.24.2 fmt.0.11.0 fs-io.3.24.2 gen.1.1 hmap.0.8.1 logs.0.10.0 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 ocaml-base-compiler.5.5.1 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.5.1 ocaml.5.5.1 ocamlbuild.0.16.1 ocamlfind.1.9.9~preview ocplib-simplex.0.5.1 ordering.3.24.2 pp.2.0.0 pp_loc.2.1.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.2.0 ppxlib.0.39.0 psmt2-frontend.0.4.0 seq.base sexplib0.v0.17.0 spelll.0.4 stdlib-shims.0.3.0 stdune.3.24.2 top-closure.3.24.2 topkg.1.1.1 uutf.1.0.4 zarith.1.14
2026-10-21T14:27:36Z	2026-10-21-135957	success	docs	129435605e74	blessed	a0c22c1f8c53	—
2026-10-14T14:33:22Z	2026-10-14-140618	success	docs	129435605e74	blessed	20689c8c86c7	—
2026-10-12T14:11:58Z	2026-10-12-135739	success	docs	129435605e74	blessed	eecdb250d199	—
2026-10-09T16:50:30Z	2026-10-09-151157	success	docs	129435605e74	blessed	a73fa83a2313	—
2026-10-08T12:20:10Z	2026-10-08-115225	success	docs	129435605e74	blessed	d9c86d5da0ac	—
2026-10-08T12:13:12Z	2026-10-08-115225	success	build	—	blessed	f528d1bd5c6b	53 deps alt-ergo-lib.2.6.4 alt-ergo-parsers.2.6.4 base-threads.base base-unix.base camlzip.1.14 cmdliner.2.1.1 compiler-cloning.enabled conf-gmp.5 conf-pkg-config.5 conf-zlib.1 cppo.1.8.0 csexp.1.5.2 dolmen.0.10 dolmen_loop.0.10 dolmen_type.0.10 dune-build-info.3.24.2 dune-private-libs.3.24.2 dune-site.3.24.2 dune.3.24.2 dyn.3.24.2 fmt.0.11.0 fs-io.3.24.2 gen.1.1 hmap.0.8.1 logs.0.10.0 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 ocaml-base-compiler.5.5.1 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.5.1 ocaml.5.5.1 ocamlbuild.0.16.1 ocamlfind.1.9.9~preview ocplib-simplex.0.5.1 ordering.3.24.2 pp.2.0.0 pp_loc.2.1.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.2.0 ppxlib.0.39.0 psmt2-frontend.0.4.0 seq.base sexplib0.v0.17.0 spelll.0.4 stdlib-shims.0.3.0 stdune.3.24.2 top-closure.3.24.2 topkg.1.1.1 uutf.1.0.4 zarith.1.14
2026-10-06T18:25:00Z	2026-10-06-163534	success	docs	de98ac8c10af	blessed	d5ec06cd79d5	—
2026-10-06T17:23:32Z	2026-10-06-163534	success	build	—	blessed	1b0177841fa0	—
2026-09-29T10:16:32Z	2026-09-29-100610	success	docs	de98ac8c10af	blessed	244935518e0f	—
2026-09-28T18:09:15Z	2026-09-28-175741	success	docs	de98ac8c10af	blessed	fe9397b58bca	—
2026-09-28T15:21:13Z	2026-09-28-150303	success	docs	de98ac8c10af	blessed	292a993285d7	—