Skip to content

Add support for user-defined symbols in the legacy frontend #250

Add support for user-defined symbols in the legacy frontend

Add support for user-defined symbols in the legacy frontend #250

Triggered via push July 19, 2023 13:10
Status Success
Total duration 12m 9s
Artifacts
OCaml documentation
11m 58s
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/