ocaml-docs-ci

Profiles › full › package: lambdapi › 3.0.0

lambdapi.3.0.0

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:24:31Z	2026-09-09-084957	success	docs	afd1789d361f	blessed	82111305a810	—
2026-09-08T20:18:42Z	2026-09-08-194511	success	docs	afd1789d361f	blessed	2b6e9b48e5a6	—
2026-09-08T00:49:08Z	2026-09-07-214511	success	docs	afd1789d361f	blessed	5d3b815c6d8f	—
2026-09-07T19:42:18Z	2026-09-07-193928	success	docs	afd1789d361f	blessed	51b323794381	—
2026-09-07T15:59:39Z	2026-09-07-153959	success	docs	afd1789d361f	blessed	32285ca64ad8	—
2026-09-07T15:55:03Z	2026-09-07-153959	success	build	—	blessed	2c591002b51b	124 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 bstr.0.1.1 camlp-streams.5.0.1 caqti-lwt.2.3.2 caqti.2.3.2 cmdliner.1.3.0 compiler-cloning.enabled 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 ocaml-base-compiler.5.5.1 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.5.1 ocaml-syntax-shims.1.0.0 ocaml.5.5.1 ocamlbuild.0.16.1 ocamlfind.1.9.9~preview 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.5.0.2 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.8.2 x509.1.1.1 yojson.3.0.0 zarith.1.14
2026-09-06T22:47:08Z	2026-09-06-193832	success	docs	fe969282aa4a	blessed	68a21e4ca0e4	—
2026-09-06T18:57:12Z	2026-09-06-184308	success	build	—	blessed	9f214bf30788	124 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 bstr.0.1.0 camlp-streams.5.0.1 caqti-lwt.2.3.2 caqti.2.3.2 cmdliner.1.3.0 compiler-cloning.enabled 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 ocaml-base-compiler.5.5.1 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.5.1 ocaml-syntax-shims.1.0.0 ocaml.5.5.1 ocamlbuild.0.16.1 ocamlfind.1.9.9~preview 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.5.0.2 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.8.2 x509.1.1.1 yojson.3.0.0 zarith.1.14
2026-09-06T10:39:05Z	2026-09-06-103557	success	docs	115c789088fe	blessed	8a59d394452f	—
2026-09-05T11:58:22Z	2026-09-05-113418	success	docs	115c789088fe	blessed	a011fe4e671a	—
2026-09-05T11:52:31Z	2026-09-05-113418	success	build	—	blessed	e8c4a5202bfe	124 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 bstr.0.1.0 camlp-streams.5.0.1 caqti-lwt.2.3.2 caqti.2.3.2 cmdliner.1.3.0 compiler-cloning.enabled 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 ocaml-base-compiler.5.5.1 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.5.1 ocaml-syntax-shims.1.0.0 ocaml.5.5.1 ocamlbuild.0.16.1 ocamlfind.1.9.9~preview 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.5.0.2 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.8.2 x509.1.1.1 yojson.3.0.0 zarith.1.14
2026-09-04T22:13:01Z	2026-09-04-173559	success	docs	75bbf6cff2bb	blessed	7e17eed67bde	—
2026-09-04T19:58:50Z	2026-09-04-173559	success	build	—	blessed	79b58991d774	124 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 bstr.0.0.4 camlp-streams.5.0.1 caqti-lwt.2.3.2 caqti.2.3.2 cmdliner.1.3.0 compiler-cloning.enabled 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 ocaml-base-compiler.5.5.1 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.5.1 ocaml-syntax-shims.1.0.0 ocaml.5.5.1 ocamlbuild.0.16.1 ocamlfind.1.9.9~preview 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.5.0.2 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.8.2 x509.1.1.1 yojson.3.0.0 zarith.1.14
2026-09-04T04:39:28Z	2026-09-03-223036	success	docs	a9e6c0015fa9	blessed	840d23b9f2cb	—
2026-09-04T01:54:00Z	2026-09-03-223036	success	build	—	blessed	5d09655f4df6	124 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 bstr.0.0.4 camlp-streams.5.0.1 caqti-lwt.2.3.2 caqti.2.3.2 cmdliner.1.3.0 compiler-cloning.enabled 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 ocaml-base-compiler.5.5.0 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.5.0 ocaml-syntax-shims.1.0.0 ocaml.5.5.0 ocamlbuild.0.16.1 ocamlfind.1.9.9~preview 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.5.0.2 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.8.2 x509.1.1.1 yojson.3.0.0 zarith.1.14