ocaml-docs-ci

Profiles › full › package: lambdapi › 2.5.0

lambdapi.2.5.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-24T23:15:30Z	2026-06-24-223251	success	docs	4650135bed98	blessed	f1988ab82071	—
2026-06-24T21:20:14Z	2026-06-24-203345	success	build	—	blessed	d89d5fd18ff0	126 deps angstrom.0.16.1 asn1-combinators.0.3.2 base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigarray-compat.1.1.0 bigstringaf.0.10.0 bindlib.6.0.0 bstr.0.0.4 camlp-streams.5.0.1 caqti-lwt.2.3.2 caqti.2.3.2 cmdliner.1.3.0 conf-gmp-powm-sec.4 conf-gmp.5 conf-libev.4-13 conf-libssl.4 conf-pkg-config.5 cppo.1.8.0 csexp.1.5.2 cstruct.6.2.0 digestif.1.3.0 domain-name.0.5.0 dream-httpaf.1.0.0~alpha4 dream-pure.1.0.0~alpha2 dream.1.0.0~alpha8 dune-configurator.3.23.1 dune-private-libs.3.23.1 dune-site.3.23.1 dune.3.23.1 duration.0.3.1 dyn.3.23.1 eqaf.0.10 faraday-lwt-unix.0.8.2 faraday-lwt.0.8.2 faraday.0.8.2 fmt.0.11.0 fs-io.3.23.1 gen.1.1 gluten-lwt-unix.0.5.2 gluten-lwt.0.5.2 gluten.0.5.2 gmap.0.3.0 graphql-lwt.0.14.0 graphql.0.14.0 graphql_parser.0.14.0 h2-lwt-unix.0.10.0 h2-lwt.0.10.0 h2.0.10.0 hmap.0.8.1 hpack.0.13.0 httpaf.0.7.1 httpun-lwt-unix.0.1.0 httpun-lwt.0.1.0 httpun-types.0.1.0 httpun-ws.0.2.0 httpun.0.1.0 ipaddr.5.6.2 kdf.1.0.0 ke.0.6 lambdasoup.1.1.1 logs.0.10.0 lru.0.3.1 lwt-dllist.1.1.0 lwt.6.1.2 lwt_ppx.6.1.0 lwt_ssl.1.2.0 macaddr.5.6.2 magic-mime.1.3.1 markup.1.0.3 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 mirage-clock.4.2.0 mirage-crypto-ec.1.2.0 mirage-crypto-pk.1.2.0 mirage-crypto-rng-lwt.1.2.0 mirage-crypto-rng.1.2.0 mirage-crypto.1.2.0 mtime.2.1.0 multipart_form-lwt.0.8.0 multipart_form.0.8.0 num.1.6 ocaml-base-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.3.0 ocaml-config.3 ocaml-syntax-shims.1.0.0 ocaml.5.3.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ordering.3.23.1 pecu.0.7 pp.2.0.0 ppx_derivers.1.2.1 ppxlib.0.38.0 pratter.3.0.0 prettym.0.0.5 psq.0.2.1 ptime.1.2.0 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.17.0 ssl.0.7.0 stdlib-shims.0.3.0 stdune.3.23.1 stringext.1.6.0 timed.1.1 top-closure.3.23.1 topkg.1.1.1 uchar.0.0.2 unstrctrd.0.4 uri.4.4.0 uutf.1.0.4 why3.1.7.2 x509.1.1.0 yojson.3.0.0 zarith.1.14
2026-06-24T19:53:16Z	2026-06-24-183226	success	build	—	blessed	a51963a9d27f	126 deps angstrom.0.16.1 asn1-combinators.0.3.2 base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigarray-compat.1.1.0 bigstringaf.0.10.0 bindlib.6.0.0 bstr.0.0.4 camlp-streams.5.0.1 caqti-lwt.2.3.2 caqti.2.3.2 cmdliner.1.3.0 conf-gmp-powm-sec.4 conf-gmp.5 conf-libev.4-13 conf-libssl.4 conf-pkg-config.5 cppo.1.8.0 csexp.1.5.2 cstruct.6.2.0 digestif.1.3.0 domain-name.0.5.0 dream-httpaf.1.0.0~alpha4 dream-pure.1.0.0~alpha2 dream.1.0.0~alpha8 dune-configurator.3.23.1 dune-private-libs.3.23.1 dune-site.3.23.1 dune.3.23.1 duration.0.3.1 dyn.3.23.1 eqaf.0.10 faraday-lwt-unix.0.8.2 faraday-lwt.0.8.2 faraday.0.8.2 fmt.0.11.0 fs-io.3.23.1 gen.1.1 gluten-lwt-unix.0.5.2 gluten-lwt.0.5.2 gluten.0.5.2 gmap.0.3.0 graphql-lwt.0.14.0 graphql.0.14.0 graphql_parser.0.14.0 h2-lwt-unix.0.10.0 h2-lwt.0.10.0 h2.0.10.0 hmap.0.8.1 hpack.0.13.0 httpaf.0.7.1 httpun-lwt-unix.0.1.0 httpun-lwt.0.1.0 httpun-types.0.1.0 httpun-ws.0.2.0 httpun.0.1.0 ipaddr.5.6.2 kdf.1.0.0 ke.0.6 lambdasoup.1.1.1 logs.0.10.0 lru.0.3.1 lwt-dllist.1.1.0 lwt.6.1.2 lwt_ppx.6.1.0 lwt_ssl.1.2.0 macaddr.5.6.2 magic-mime.1.3.1 markup.1.0.3 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 mirage-clock.4.2.0 mirage-crypto-ec.1.2.0 mirage-crypto-pk.1.2.0 mirage-crypto-rng-lwt.1.2.0 mirage-crypto-rng.1.2.0 mirage-crypto.1.2.0 mtime.2.1.0 multipart_form-lwt.0.8.0 multipart_form.0.8.0 num.1.6 ocaml-base-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.3.0 ocaml-config.3 ocaml-syntax-shims.1.0.0 ocaml.5.3.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ordering.3.23.1 pecu.0.7 pp.2.0.0 ppx_derivers.1.2.1 ppxlib.0.38.0 pratter.3.0.0 prettym.0.0.5 psq.0.2.1 ptime.1.2.0 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.17.0 ssl.0.7.0 stdlib-shims.0.3.0 stdune.3.23.1 stringext.1.6.0 timed.1.1 top-closure.3.23.1 topkg.1.1.1 uchar.0.0.2 unstrctrd.0.4 uri.4.4.0 uutf.1.0.4 why3.1.7.2 x509.1.0.6 yojson.3.0.0 zarith.1.14
2026-06-23T23:10:12Z	2026-06-23-223106	success	docs	621365ad510e	blessed	5032970913b9	—
2026-06-23T22:52:51Z	2026-06-23-215418	success	build	—	blessed	9f939c6c0c6f	126 deps angstrom.0.16.1 asn1-combinators.0.3.2 base-bytes.base base-threads.base base-unix.base base64.3.5.2 bigarray-compat.1.1.0 bigstringaf.0.10.0 bindlib.6.0.0 bstr.0.0.4 camlp-streams.5.0.1 caqti-lwt.2.3.2 caqti.2.3.2 cmdliner.1.3.0 conf-gmp-powm-sec.4 conf-gmp.5 conf-libev.4-13 conf-libssl.4 conf-pkg-config.5 cppo.1.8.0 csexp.1.5.2 cstruct.6.2.0 digestif.1.3.0 domain-name.0.5.0 dream-httpaf.1.0.0~alpha4 dream-pure.1.0.0~alpha2 dream.1.0.0~alpha8 dune-configurator.3.23.1 dune-private-libs.3.23.1 dune-site.3.23.1 dune.3.23.1 duration.0.3.1 dyn.3.23.1 eqaf.0.10 faraday-lwt-unix.0.8.2 faraday-lwt.0.8.2 faraday.0.8.2 fmt.0.11.0 fs-io.3.23.1 gen.1.1 gluten-lwt-unix.0.5.2 gluten-lwt.0.5.2 gluten.0.5.2 gmap.0.3.0 graphql-lwt.0.14.0 graphql.0.14.0 graphql_parser.0.14.0 h2-lwt-unix.0.10.0 h2-lwt.0.10.0 h2.0.10.0 hmap.0.8.1 hpack.0.13.0 httpaf.0.7.1 httpun-lwt-unix.0.1.0 httpun-lwt.0.1.0 httpun-types.0.1.0 httpun-ws.0.2.0 httpun.0.1.0 ipaddr.5.6.2 kdf.1.0.0 ke.0.6 lambdasoup.1.1.1 logs.0.10.0 lru.0.3.1 lwt-dllist.1.1.0 lwt.6.1.2 lwt_ppx.6.1.0 lwt_ssl.1.2.0 macaddr.5.6.2 magic-mime.1.3.1 markup.1.0.3 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 mirage-clock.4.2.0 mirage-crypto-ec.1.2.0 mirage-crypto-pk.1.2.0 mirage-crypto-rng-lwt.1.2.0 mirage-crypto-rng.1.2.0 mirage-crypto.1.2.0 mtime.2.1.0 multipart_form-lwt.0.8.0 multipart_form.0.8.0 num.1.6 ocaml-base-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.3.0 ocaml-config.3 ocaml-syntax-shims.1.0.0 ocaml.5.3.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 ordering.3.23.1 pecu.0.7 pp.2.0.0 ppx_derivers.1.2.1 ppxlib.0.38.0 pratter.3.0.0 prettym.0.0.5 psq.0.2.1 ptime.1.2.0 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.17.0 ssl.0.7.0 stdlib-shims.0.3.0 stdune.3.23.1 stringext.1.6.0 timed.1.1 top-closure.3.23.1 topkg.1.1.1 uchar.0.0.2 unstrctrd.0.4 uri.4.4.0 uutf.1.0.4 why3.1.7.2 x509.1.0.6 yojson.3.0.0 zarith.1.14
2026-06-23T12:19:41Z	2026-06-23-114544	success	docs	621365ad510e	blessed	adb6a86b47b8	—
2026-06-20T20:20:41Z	2026-06-20-192413	success	docs	621365ad510e	blessed	f7156a3f37d6	—
2026-06-20T17:11:33Z	2026-06-20-153623	success	docs	621365ad510e	blessed	59bbbe30243b	—
2026-06-19T21:33:47Z	2026-06-19-202157	success	docs	621365ad510e	blessed	1c258dbaf325	—
2026-06-16T22:05:23Z	2026-06-16-213711	success	docs	621365ad510e	blessed	c2a57bd7bcbd	—
2026-06-16T19:41:54Z	2026-06-16-183655	success	build	—	blessed	d0345bbd4583	—