Skip to content

Removing unused goal #369

Removing unused goal

Removing unused goal #369

Triggered via push December 11, 2023 11:05
Status Success
Total duration 5m 1s
Artifacts
OCaml documentation
4m 47s
OCaml documentation
Sphinx documentation
0s
Sphinx documentation
Deploy documentation
0s
Deploy documentation
Fit to window
Zoom out
Zoom in

Annotations

1 warning
OCaml documentation
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/