Skip to content

Remove the Record theory (#1095) #3193

Remove the Record theory (#1095)

Remove the Record theory (#1095) #3193

Triggered via push February 24, 2025 10:13
Status Success
Total duration 3m 36s
Artifacts 2
OCaml documentation
2m 44s
OCaml documentation
Sphinx documentation
22s
Sphinx documentation
Deploy documentation
22s
Deploy documentation
Update documentation versions
6s
Update documentation versions
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
ocaml_doc
1.12 MB
sphinx_doc
7.69 MB