ocaml-docs-ci

Profiles › full › package: lambdapi › 2.5.1

lambdapi.2.5.1

No rendered docs found on disk, though the latest blessed build succeeded — the output may still be syncing.

History

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

Time	Run	Status	Category	Universe	Blessed	Hash	Deps	Error
2026-09-09T11:20:59Z	2026-09-09-084957	success	docs	d89def0d0b06	blessed	de2850038d67	—
2026-09-08T20:16:42Z	2026-09-08-194511	success	docs	d89def0d0b06	blessed	93d751be5012	—
2026-09-08T00:51:54Z	2026-09-07-214511	success	docs	d89def0d0b06	blessed	9ca9ff6569c2	—
2026-09-07T19:41:51Z	2026-09-07-193928	success	docs	d89def0d0b06	blessed	1a0238e0236b	—
2026-09-07T15:59:40Z	2026-09-07-153959	success	docs	d89def0d0b06	blessed	ea6301939d60	—
2026-09-07T15:56:05Z	2026-09-07-153959	success	build	—	blessed	603baf6a8b4c	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.1.1 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.3.0 digestif.1.3.1 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.24.2 dune-private-libs.3.24.2 dune-site.3.24.2 dune.3.24.2 duration.0.3.1 dyn.3.24.2 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.24.2 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.1.1 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.2.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.24.2 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.24.2 stringext.1.6.0 timed.1.1 top-closure.3.24.2 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.1 yojson.3.0.0 zarith.1.14
2026-09-06T22:49:10Z	2026-09-06-193832	success	docs	6357c2ff5340	blessed	56295e0ef5b2	—
2026-09-06T18:54:21Z	2026-09-06-184308	success	build	—	blessed	9f7057edcca8	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.1.0 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.3.0 digestif.1.3.1 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.24.2 dune-private-libs.3.24.2 dune-site.3.24.2 dune.3.24.2 duration.0.3.1 dyn.3.24.2 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.24.2 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.1.1 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.2.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.24.2 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.24.2 stringext.1.6.0 timed.1.1 top-closure.3.24.2 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.1 yojson.3.0.0 zarith.1.14
2026-09-06T10:38:27Z	2026-09-06-103557	success	docs	dc7523e1353b	blessed	48dc4529b1c5	—
2026-09-05T11:58:28Z	2026-09-05-113418	success	docs	dc7523e1353b	blessed	d4abed13424b	—
2026-09-05T11:53:49Z	2026-09-05-113418	success	build	—	blessed	5e76ea861efa	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.1.0 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.1 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.24.2 dune-private-libs.3.24.2 dune-site.3.24.2 dune.3.24.2 duration.0.3.1 dyn.3.24.2 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.24.2 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.1.1 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.2.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.24.2 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.24.2 stringext.1.6.0 timed.1.1 top-closure.3.24.2 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.1 yojson.3.0.0 zarith.1.14
2026-09-04T22:17:18Z	2026-09-04-173559	success	docs	5f7d393f1471	blessed	76745bebb4cf	—
2026-09-04T04:35:15Z	2026-09-03-223036	success	docs	5f7d393f1471	blessed	4029fe931370	—
2026-09-04T01:55:10Z	2026-09-03-223036	success	build	—	blessed	20d37b9fbf7f	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.1 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.24.2 dune-private-libs.3.24.2 dune-site.3.24.2 dune.3.24.2 duration.0.3.1 dyn.3.24.2 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.24.2 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.1.1 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.2.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.24.2 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.24.2 stringext.1.6.0 timed.1.1 top-closure.3.24.2 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.1 yojson.3.0.0 zarith.1.14