why3.1.8.2
✗ Build failed — a build error.
Blessed build job: view build log
If you believe why3.1.8.2 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-09T15:30:37Z | 2026-10-09-151701 | failure | build | — | blessed | 59ae7fef7857 | — | |
| 2026-10-07T22:21:30Z | 2026-10-07-205245 | failure | build | — | blessed | 68924645ddfb | — | |
| 2026-10-06T18:49:24Z | 2026-10-06-163739 | failure | build | — | blessed | 8f5871f57dcd | — | |
| 2026-10-02T00:17:26Z | 2026-10-01-224851 | failure | build | — | blessed | 8835dbe74349 | — | |
| 2026-09-28T15:57:57Z | 2026-09-28-151638 | failure | build | — | blessed | 5cf698ff429c | — |