Skip to content
Documentation

Ensure that definitions have the same ordering with dolmen (#771) #302

Sign in to view logs

Ensure that definitions have the same ordering with dolmen (#771)

Ensure that definitions have the same ordering with dolmen (#771) #302

Triggered via push July 28, 2023 14:28
@HalbarothHalbaroth
pushed 613e828
next
Status Success
Total duration 8m 54s
Artifacts 2

documentation.yml

on: push
OCaml documentation
7m 28s
OCaml documentation
Sphinx documentation
32s
Sphinx documentation
Deploy documentation
29s
Deploy documentation
Fit to window
Zoom out
Zoom in

Annotations

11 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
Deploy documentation
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/download-artifact@v2, JamesIves/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

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