Skip to content
Back to pull request #762

[doc] Document the floating-point and bitvector primitives #1266

Sign in to view logs

[doc] Document the floating-point and bitvector primitives

[doc] Document the floating-point and bitvector primitives #1266

Triggered via pull request July 27, 2023 10:27
@bclement-ocpbclement-ocp
synchronize #762
bclement-ocp:bclement/fpadoc
Status Success
Total duration 9m 50s
Artifacts 2

documentation.yml

on: pull_request
OCaml documentation
8m 51s
OCaml documentation
Sphinx documentation
40s
Sphinx documentation
Deploy documentation
0s
Deploy documentation
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
OCaml documentation
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Sphinx documentation
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Sphinx documentation: docs/sphinx_docs/Input_file_formats/Native/02_types/02_01_builtin.md#L257
Pygments lexer name 'alt-ergo' is not known
Sphinx documentation: docs/sphinx_docs/Input_file_formats/Native/02_types/02_01_builtin.md#L266
Pygments lexer name 'alt-ergo' is not known
Sphinx documentation: docs/sphinx_docs/Input_file_formats/Native/02_types/02_01_builtin.md#L284
Pygments lexer name 'alt-ergo' is not known
Sphinx documentation: docs/sphinx_docs/Input_file_formats/Native/02_types/02_01_builtin.md#L303
Pygments lexer name 'alt-ergo' is not known
Sphinx documentation: docs/sphinx_docs/Input_file_formats/Native/05_theories.md#L66
Pygments lexer name 'alt-ergo' is not known
Sphinx documentation: docs/sphinx_docs/Input_file_formats/Native/05_theories.md#L95
Pygments lexer name 'alt-ergo' is not known
Sphinx documentation: docs/sphinx_docs/Input_file_formats/Native/05_theories.md#L108
Pygments lexer name 'alt-ergo' is not known
Sphinx documentation: docs/sphinx_docs/Input_file_formats/Native/05_theories.md#L114
Pygments lexer name 'alt-ergo' is not known

Artifacts

Produced during runtime
Name Size
ocaml_doc Expired
2.43 MB
sphinx_doc Expired
5.26 MB