Skip to content
CI

Add camlp5 8.03 support, update make switch to use it #59

Sign in to view logs

Add camlp5 8.03 support, update make switch to use it

Add camlp5 8.03 support, update make switch to use it #59

Triggered via pull request June 24, 2024 03:07
@aqjuneaqjune
opened #102
aqjune:camlp5-update
Status Success
Total duration 8m 49s
Artifacts –

main.yml

on: pull_request
OCaml 4.05, Camlp5 7.10
5m 34s
OCaml 4.05, Camlp5 7.10
OCaml 4.14, Camlp5 8.03 (make switch)
8m 40s
OCaml 4.14, Camlp5 8.03 (make switch)
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
OCaml 4.05, Camlp5 7.10
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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.14, Camlp5 8.03 (make switch)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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/