bitwuzla-bin.1.0.0
✗ Build failed — a build error.
Blessed build job: view build log
If you believe bitwuzla-bin.1.0.0 should compile correctly on Debian trixie, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue
History
| Time | Run | Status | Category | Universe | Blessed | Hash | Deps | Error |
|---|---|---|---|---|---|---|---|---|
| 2026-10-06T16:57:25Z | 2026-10-06-163739 | failure | build | — | blessed | d2480b199058 | — |