Skip to content
Documentation

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

Sign in to view logs

[doc] Document the floating-point and bitvector primitives

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

Triggered via pull request July 27, 2023 09:43
@bclement-ocpbclement-ocp
opened #762
bclement-ocp:bclement/fpadoc
Status Success
Total duration 12m 25s
Artifacts 2

documentation.yml

on: pull_request
OCaml documentation
11m 33s
OCaml documentation
Sphinx documentation
32s
Sphinx documentation
Deploy documentation
0s
Deploy documentation
Fit to window
Zoom out
Zoom in

Annotations

9 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#L304
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

Artifacts

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