Skip to content

Use Unix eof for shell scripts (#1184) #2874

Use Unix eof for shell scripts (#1184)

Use Unix eof for shell scripts (#1184) #2874

Triggered via push July 29, 2024 13:06
Status Success
Total duration 4m 32s
Artifacts 2
OCaml documentation
3m 49s
OCaml documentation
Sphinx documentation
21s
Sphinx documentation
Deploy documentation
14s
Deploy documentation
Update documentation versions
6s
Update documentation versions
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Deploy documentation
The following actions uses node12 which is deprecated and will be forced to run on node16: 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/
Deploy documentation
The following actions uses Node.js version which is deprecated and will be forced to run on node20: JamesIves/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime
Name Size
ocaml_doc Expired
1.11 MB
sphinx_doc Expired
3.25 MB