Profilesfullpackage: z3 › 4.8.14

z3.4.8.14

✗ Build failed — a build error.

Blessed build job: view build log

If you believe z3.4.8.14 should compile correctly on Debian bookworm, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T12:59:06Z2026-06-24-103903failurebuildblessed8420f9c15ddc
10 deps
  • compiler-cloning.enabled
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-23T17:45:16Z2026-06-23-164340failurebuildblessed8815a39e332b
10 deps
  • compiler-cloning.enabled
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-20T17:01:58Z2026-06-20-153623failurebuildblessed4f33f9e52cf6
2026-06-16T13:51:58Z2026-06-16-113640failurebuildblessed97196b46331c