Skip to content

Reorganize builtin internalization by theory #3261

Reorganize builtin internalization by theory

Reorganize builtin internalization by theory #3261

Triggered via pull request September 8, 2025 13:56
Status Failure
Total duration 55s
Artifacts 1

documentation.yml

on: pull_request
OCaml documentation
48s
OCaml documentation
Sphinx documentation
30s
Sphinx documentation
Deploy documentation
0s
Deploy documentation
Update documentation versions
Update documentation versions
Fit to window
Zoom out
Zoom in

Annotations

1 error
OCaml documentation
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size Digest
sphinx_doc Expired
7.58 MB
sha256:970e76eddbc2b5a1bae1fcbf0272a47dfc82e3e1523a850aa8423c457ff99fbe