Skip to content

Reorganize builtin internalization by theory #3270

Reorganize builtin internalization by theory

Reorganize builtin internalization by theory #3270

Triggered via pull request September 9, 2025 14:02
Status Success
Total duration 2m 35s
Artifacts 2

documentation.yml

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

Artifacts

Produced during runtime
Name Size Digest
ocaml_doc Expired
1.12 MB
sha256:62c2dd2a8b9cf61d6f7da70d8954eecb4f56985a8ddb406e385ac404e6089667
sphinx_doc Expired
7.58 MB
sha256:998a9753c35c56e898afdd6b83552cd59e31591458bd0870d73a0909d1d3b0db