ocaml-docs-ci

Profiles › full › package: coq-serapi › 8.17.0+0.17.0

coq-serapi.8.17.0+0.17.0

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-06-24T22:11:32Z	2026-06-24-213246	success	docs	d1f7de9b63e9	blessed	bfe9182bee06	—
2026-06-24T17:26:35Z	2026-06-24-163243	success	build	—	blessed	57e08fc664da	35 deps base-threads.base base-unix.base base.v0.15.2 cmdliner.2.1.1 conf-gmp.5 conf-pkg-config.5 coq-core.8.17.1 coq-stdlib.8.17.1 coq.8.17.1 coqide-server.8.17.1 cppo.1.8.0 csexp.1.5.2 dune-configurator.3.23.1 dune.3.23.1 num.1.6 ocaml-base-compiler.5.2.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml.5.2.1 ocamlfind.1.9.6 parsexp.v0.15.0 ppx_compare.v0.15.0 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_deriving_yojson.3.9.1 ppx_hash.v0.15.0 ppx_import.1.12.0 ppx_sexp_conv.v0.15.1 ppxlib.0.35.0 result.1.5 sexplib.v0.15.1 sexplib0.v0.15.1 stdlib-shims.0.3.0 yojson.3.0.0 zarith.1.14
2026-06-23T22:37:26Z	2026-06-23-215418	success	docs	d1f7de9b63e9	blessed	481373da34f6	—
2026-06-23T21:47:55Z	2026-06-23-203059	success	build	—	blessed	e71a966eaff9	35 deps base-threads.base base-unix.base base.v0.15.2 cmdliner.2.1.1 conf-gmp.5 conf-pkg-config.5 coq-core.8.17.1 coq-stdlib.8.17.1 coq.8.17.1 coqide-server.8.17.1 cppo.1.8.0 csexp.1.5.2 dune-configurator.3.23.1 dune.3.23.1 num.1.6 ocaml-base-compiler.5.2.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml.5.2.1 ocamlfind.1.9.6 parsexp.v0.15.0 ppx_compare.v0.15.0 ppx_derivers.1.2.1 ppx_deriving.5.2.1 ppx_deriving_yojson.3.9.1 ppx_hash.v0.15.0 ppx_import.1.12.0 ppx_sexp_conv.v0.15.1 ppxlib.0.35.0 result.1.5 sexplib.v0.15.1 sexplib0.v0.15.1 stdlib-shims.0.3.0 yojson.3.0.0 zarith.1.14
2026-06-23T11:11:41Z	2026-06-23-105300	success	docs	d1f7de9b63e9	blessed	72b72831fe49	—
2026-06-16T21:12:18Z	2026-06-16-203648	success	docs	d1f7de9b63e9	blessed	b595ad4af7fd	—
2026-06-16T16:51:24Z	2026-06-16-153709	success	build	—	blessed	1196d22cdff1	—