rocq-runtime.9.1.1
✗ Build failed — a build error.
Blessed build job: view build log
If you believe rocq-runtime.9.1.1 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-07T21:28:12Z | 2026-10-07-205245 | failure | build | — | blessed | 087f05571d0d | — | |
| 2026-10-06T17:47:37Z | 2026-10-06-163739 | failure | build | — | blessed | e5fffc1a6ef7 | — | |
| 2026-10-01T23:27:14Z | 2026-10-01-224851 | failure | build | — | blessed | ab8e947b9c4f | — | |
| 2026-09-28T15:48:21Z | 2026-09-28-151638 | failure | build | — | blessed | 6407ab14ea34 | — |