Skip to content

Reorganize builtin internalization by theory #3262

Reorganize builtin internalization by theory

Reorganize builtin internalization by theory #3262

Triggered via pull request September 8, 2025 13:57
Status Failure
Total duration 2m 32s
Artifacts 1

documentation.yml

on: pull_request
OCaml documentation
2m 26s
OCaml documentation
Sphinx documentation
24s
Sphinx documentation
Deploy documentation
0s
Deploy documentation
Update documentation versions
0s
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:cab6bd70a92151cf2c650e723d2daeb32848c51ff461cec5ca70aa1507232401