Skip to content

bump CI ocaml version #759

bump CI ocaml version

bump CI ocaml version #759

Triggered via pull request July 30, 2024 13:51
@garesgares
synchronize #252
gares-patch-3
Status Success
Total duration 9m 58s
Artifacts 19

main.yml

on: pull_request
Matrix: Build and test elpi
Aggregate and plot benchmarking data
1m 4s
Aggregate and plot benchmarking data
Fit to window
Zoom out
Zoom in

Annotations

15 warnings
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 (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 (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 (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 (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, 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/
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-4.14.x-Windows", ".benchmark-5.2.x-Linux", ".benchmark-5.2.x-macOS", ".benchmark-5.2.x-Windows", ".logs-4.14.x-Linux", ".logs-4.14.x-macOS", ".logs-4.14.x-Windows", ".logs-5.2.x-Linux", ".logs-5.2.x-macOS", ".logs-5.2.x-Windows", "benchmark-plot", "elpi-4.14.x-Linux", "elpi-4.14.x-macOS", "elpi-4.14.x-Windows", "elpi-5.2.x-Linux", "elpi-5.2.x-macOS", "elpi-5.2.x-Windows". 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
15 KB
.benchmark-4.14.x-Windows Expired
13.2 KB
.benchmark-4.14.x-macOS Expired
15.2 KB
.benchmark-5.2.x-Linux Expired
14.8 KB
.benchmark-5.2.x-Windows Expired
13 KB
.benchmark-5.2.x-macOS Expired
15 KB
.logs-4.14.x-Linux Expired
624 KB
.logs-4.14.x-Windows Expired
658 KB
.logs-4.14.x-macOS Expired
627 KB
.logs-5.2.x-Linux Expired
624 KB
.logs-5.2.x-Windows Expired
658 KB
.logs-5.2.x-macOS Expired
627 KB
benchmark-plot Expired
1.26 MB
elpi-4.14.x-Linux Expired
7.15 MB
elpi-4.14.x-Windows Expired
5.89 MB
elpi-4.14.x-macOS Expired
5.5 MB
elpi-5.2.x-Linux Expired
8.09 MB
elpi-5.2.x-Windows Expired
7.01 MB
elpi-5.2.x-macOS Expired
6.59 MB