bump CI ocaml version #748
main.yml
on: pull_request
Matrix: Build and test elpi
Aggregate and plot benchmarking data
1m 30s
Annotations
2 errors and 19 warnings
Build and test elpi (windows-latest, 4.14.x, dev)
Process completed with exit code 1.
|
Build and test elpi (windows-latest, 5.2.x, dev)
Process completed with exit code 1.
|
Build and test elpi (macos-latest, 4.14.x, dev)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Build and test elpi (macos-latest, 4.14.x, dev)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Build and test elpi (ubuntu-latest, 4.14.x, dev)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Build and test elpi (ubuntu-latest, 4.14.x, dev)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Build and test elpi (windows-latest, 4.14.x, dev)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Build and test elpi (windows-latest, 4.14.x, dev)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Build and test elpi (windows-latest, 4.14.x, dev)
No files were found with the provided path: _log. No artifacts will be uploaded.
|
Build and test elpi (windows-latest, 4.14.x, dev)
No files were found with the provided path: data.csv. No artifacts will be uploaded.
|
Build and test elpi (macos-latest, 5.2.x, dev)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Build and test elpi (macos-latest, 5.2.x, dev)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Build and test elpi (ubuntu-latest, 5.2.x, fatalwarnings)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Build and test elpi (ubuntu-latest, 5.2.x, fatalwarnings)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Build and test elpi (windows-latest, 5.2.x, dev)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Build and test elpi (windows-latest, 5.2.x, dev)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Build and test elpi (windows-latest, 5.2.x, dev)
No files were found with the provided path: _log. No artifacts will be uploaded.
|
Build and test elpi (windows-latest, 5.2.x, dev)
No files were found with the provided path: data.csv. No artifacts will be uploaded.
|
Aggregate and plot benchmarking data
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/download-artifact@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Aggregate and plot benchmarking data
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2, actions/download-artifact@v2, actions/upload-artifact@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: ".benchmark-4.14.x-Linux", ".benchmark-4.14.x-macOS", ".benchmark-5.2.x-Linux", ".benchmark-5.2.x-macOS", ".logs-4.14.x-Linux", ".logs-4.14.x-macOS", ".logs-5.2.x-Linux", ".logs-5.2.x-macOS", "benchmark-plot", "elpi-4.14.x-Linux", "elpi-4.14.x-macOS", "elpi-5.2.x-Linux", "elpi-5.2.x-macOS".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
.benchmark-4.14.x-Linux
Expired
|
14.9 KB |
|
.benchmark-4.14.x-macOS
Expired
|
15.1 KB |
|
.benchmark-5.2.x-Linux
Expired
|
14.7 KB |
|
.benchmark-5.2.x-macOS
Expired
|
14.9 KB |
|
.logs-4.14.x-Linux
Expired
|
624 KB |
|
.logs-4.14.x-macOS
Expired
|
626 KB |
|
.logs-5.2.x-Linux
Expired
|
624 KB |
|
.logs-5.2.x-macOS
Expired
|
626 KB |
|
benchmark-plot
|
915 KB |
|
elpi-4.14.x-Linux
|
7.13 MB |
|
elpi-4.14.x-macOS
|
5.48 MB |
|
elpi-5.2.x-Linux
|
8.07 MB |
|
elpi-5.2.x-macOS
|
6.57 MB |
|