Skip to content

make it build under ocaml 5.1.1 #1097

make it build under ocaml 5.1.1

make it build under ocaml 5.1.1 #1097

Triggered via push May 17, 2024 09:43
Status Success
Total duration 7m 30s
Artifacts 4

pipeline.yml

on: push
Matrix: test_and_build
Matrix: test_and_build_linux
(only on release) Publish
25s
(only on release) Publish
Fit to window
Zoom out
Zoom in

Annotations

14 warnings
macOS-latest/node-16.x
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v1, actions/cache@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
macOS-latest/node-16.x
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-node@v1, 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/
macOS-latest/node-16.x
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
ubuntu-latest/node-16.x
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v1, actions/cache@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
ubuntu-latest/node-16.x
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-node@v1, 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/
ubuntu-latest/node-16.x
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
macOS-13/node-16.x
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v1, actions/cache@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
macOS-13/node-16.x
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-node@v1, 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/
macOS-13/node-16.x
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
windows-latest/node-16.x
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v1, actions/cache@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
windows-latest/node-16.x
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-node@v1, 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/
windows-latest/node-16.x
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
(only on release) Publish
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-node@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
(only on release) Publish
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-node@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
macOS-13 Expired
4.07 MB
macOS-latest Expired
4.58 MB
ubuntu-latest Expired
6.43 MB
windows-latest Expired
5 MB