Skip to content

Add update_database for OCaml 5, fix a bug in search, add make switch-5 #93

Add update_database for OCaml 5, fix a bug in search, add make switch-5

Add update_database for OCaml 5, fix a bug in search, add make switch-5 #93

Triggered via pull request October 11, 2024 14:35
Status Success
Total duration 14m 17s
Artifacts

main.yml

on: pull_request
OCaml 4.05, Camlp5 7.10
7m 18s
OCaml 4.05, Camlp5 7.10
OCaml 4.14, Camlp5 8.03 (make switch)
14m 6s
OCaml 4.14, Camlp5 8.03 (make switch)
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
OCaml 4.05, Camlp5 7.10
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
OCaml 4.05, Camlp5 7.10
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
OCaml 4.14, Camlp5 8.03 (make switch)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
OCaml 4.14, Camlp5 8.03 (make switch)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/