ocaml-docs-ci

Profiles › full › package: lambdapi › 2.0.0

lambdapi.2.0.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-24T21:57:28Z	2026-06-24-213246	success	docs	d80274f4248e	blessed	e2642296f0a3	—
2026-06-24T16:56:33Z	2026-06-24-153355	success	build	—	blessed	957c5b347528	35 deps alt-ergo.2.2.0 base-threads.base base-unix.base bindlib.5.0.1 camlp-streams.5.0.1 camlzip.1.07 cmdliner.1.3.0 conf-autoconf.0.2 conf-gmp.5 conf-pkg-config.5 dune.3.23.1 gen.1.1 menhir.20211128 menhirLib.20211128 menhirSdk.20211128 num.1.6 ocaml-base-compiler.4.14.4 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml.4.14.4 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-simplex.0.4.1 ppx_derivers.1.2.1 ppxlib.0.38.0 pratter.1.2.1 psmt2-frontend.0.1 sedlex.3.7 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 timed.1.1 why3.1.4.1 yojson.3.0.0 zarith.1.14
2026-06-23T20:54:40Z	2026-06-23-193124	success	docs	d80274f4248e	blessed	0d022c2b84fb	—
2026-06-23T20:00:07Z	2026-06-23-185007	success	build	—	blessed	e0ebd4f80e81	35 deps alt-ergo.2.2.0 base-threads.base base-unix.base bindlib.5.0.1 camlp-streams.5.0.1 camlzip.1.07 cmdliner.1.3.0 conf-autoconf.0.2 conf-gmp.5 conf-pkg-config.5 dune.3.23.1 gen.1.1 menhir.20211128 menhirLib.20211128 menhirSdk.20211128 num.1.6 ocaml-base-compiler.4.14.4 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml.4.14.4 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-simplex.0.4.1 ppx_derivers.1.2.1 ppxlib.0.38.0 pratter.1.2.1 psmt2-frontend.0.1 sedlex.3.7 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 timed.1.1 why3.1.4.1 yojson.3.0.0 zarith.1.14
2026-06-23T10:35:27Z	2026-06-23-092928	success	docs	d80274f4248e	blessed	fec7d9ce29f3	—
2026-06-19T21:25:02Z	2026-06-19-202157	success	docs	d80274f4248e	blessed	4be9a6a48d84	—
2026-06-16T20:53:43Z	2026-06-16-193644	success	docs	d80274f4248e	blessed	b0ed64108c2e	—
2026-06-16T16:06:17Z	2026-06-16-133735	success	build	—	blessed	d90978fdd653	—