ocaml-docs-ci

Profiles › full › package: fstar › 2026.03.24

fstar.2026.03.24

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-26T11:23:52Z	2026-06-26-094606	success	build	—	blessed	c98ad36ecd1a	39 deps base-bytes.base base-threads.base base-unix.base batteries.3.10.0 camlp-streams.5.0.1 conf-gmp.5 conf-pkg-config.5 cppo.1.8.0 dune.3.23.1 gen.1.1 memtrace.0.2.3 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 mtime.2.1.0 num.1.6 ocaml-base-compiler.5.4.1 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.4.1 ocaml-config.3 ocaml.5.4.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_yojson.3.10.0 ppxlib.0.38.0 process.0.2.1 sedlex.3.7 seq.base sexplib0.v0.17.0 stdint.0.7.2 stdlib-shims.0.3.0 topkg.1.1.1 yojson.3.0.0 zarith.1.14
2026-06-24T21:54:44Z	2026-06-24-203345	success	docs	aaf7886b9854	blessed	96f861520f9f	—
2026-06-24T17:09:56Z	2026-06-24-153355	success	build	—	blessed	c526ac1d406b	39 deps base-bytes.base base-threads.base base-unix.base batteries.3.10.0 camlp-streams.5.0.1 conf-gmp.5 conf-pkg-config.5 cppo.1.8.0 dune.3.23.1 gen.1.1 memtrace.0.2.3 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 mtime.2.1.0 num.1.6 ocaml-base-compiler.5.4.1 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.4.1 ocaml-config.3 ocaml.5.4.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_yojson.3.10.0 ppxlib.0.38.0 process.0.2.1 sedlex.3.7 seq.base sexplib0.v0.17.0 stdint.0.7.2 stdlib-shims.0.3.0 topkg.1.1.1 yojson.3.0.0 zarith.1.14
2026-06-23T20:01:01Z	2026-06-23-185007	success	docs	aaf7886b9854	blessed	e35ca1811fef	—
2026-06-23T18:31:01Z	2026-06-23-164340	success	build	—	blessed	75d0150634ba	39 deps base-bytes.base base-threads.base base-unix.base batteries.3.10.0 camlp-streams.5.0.1 conf-gmp.5 conf-pkg-config.5 cppo.1.8.0 dune.3.23.1 gen.1.1 memtrace.0.2.3 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 mtime.2.1.0 num.1.6 ocaml-base-compiler.5.4.1 ocaml-compiler-libs.v0.17.0 ocaml-compiler.5.4.1 ocaml-config.3 ocaml.5.4.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_yojson.3.10.0 ppxlib.0.38.0 process.0.2.1 sedlex.3.7 seq.base sexplib0.v0.17.0 stdint.0.7.2 stdlib-shims.0.3.0 topkg.1.1.1 yojson.3.0.0 zarith.1.14
2026-06-23T11:14:38Z	2026-06-23-105300	success	docs	aaf7886b9854	blessed	036a920dcf8c	—
2026-06-20T16:52:44Z	2026-06-20-153623	success	docs	aaf7886b9854	blessed	7497801632b2	—
2026-06-19T21:25:46Z	2026-06-19-202157	success	docs	aaf7886b9854	blessed	42e3c730e93d	—
2026-06-16T21:01:04Z	2026-06-16-203648	success	docs	aaf7886b9854	blessed	e7af0b6aeb03	—
2026-06-16T17:16:12Z	2026-06-16-153709	success	build	—	blessed	0adfaf2a95dd	—