rocq-runtime.9.3.0
✗ Build failed — a build error.
Blessed build job: view build log
If you believe rocq-runtime.9.3.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-07T21:27:21Z | 2026-10-07-205245 | failure | build | — | blessed | 5cdecd809c8e | — | |
| 2026-10-06T17:47:46Z | 2026-10-06-163739 | failure | build | — | blessed | 57f8252f1a14 | — | |
| 2026-10-01T23:26:55Z | 2026-10-01-224851 | failure | build | — | blessed | 43186755edd4 | — |