Merge pull request #241 from FissoreD/once-predicate #710
garesmain.yml
on: push
Matrix: Build and test elpi
Aggregate and plot benchmarking data
50s
Annotations
1 error and 19 warnings
|
Build and test elpi (macos-latest, 4.08.x, dev)
The process '/Users/runner/hostedtoolcache/opam/2.1.6/arm64/opam' failed with exit code 20
|
|
Build and test elpi (macos-latest, 4.08.x, dev)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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/
|
|
Build and test elpi (macos-latest, 4.08.x, dev)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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/
|
|
Build and test elpi (macos-latest, 4.08.x, dev)
No files were found with the provided path: _log. No artifacts will be uploaded.
|
|
Build and test elpi (macos-latest, 4.08.x, dev)
No files were found with the provided path: data.csv. No artifacts will be uploaded.
|
|
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/checkout@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/
|
|
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@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/
|
|
Build and test elpi (ubuntu-latest, 5.1.x, fatalwarnings)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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/
|
|
Build and test elpi (ubuntu-latest, 5.1.x, fatalwarnings)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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/
|
|
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/checkout@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/
|
|
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@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/
|
|
Build and test elpi (ubuntu-latest, 4.08.x, dev)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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/
|
|
Build and test elpi (ubuntu-latest, 4.08.x, dev)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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/
|
|
Build and test elpi (windows-latest, 4.08.x, dev)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@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/
|
|
Build and test elpi (windows-latest, 4.08.x, dev)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@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/
|
|
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/checkout@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/
|
|
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@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/
|
|
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.08.x-Linux", ".benchmark-4.08.x-Windows", ".benchmark-4.14.x-Linux", ".benchmark-4.14.x-macOS", ".benchmark-4.14.x-Windows", ".benchmark-5.1.x-Linux", ".logs-4.08.x-Linux", ".logs-4.08.x-Windows", ".logs-4.14.x-Linux", ".logs-4.14.x-macOS", ".logs-4.14.x-Windows", ".logs-5.1.x-Linux", "benchmark-plot", "elpi-4.08.x-Linux", "elpi-4.08.x-Windows", "elpi-4.14.x-Linux", "elpi-4.14.x-macOS", "elpi-4.14.x-Windows", "elpi-5.1.x-Linux".
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.08.x-Linux
Expired
|
14.8 KB |
|
|
.benchmark-4.08.x-Windows
Expired
|
13 KB |
|
|
.benchmark-4.14.x-Linux
Expired
|
14.9 KB |
|
|
.benchmark-4.14.x-Windows
Expired
|
13.1 KB |
|
|
.benchmark-4.14.x-macOS
Expired
|
15.1 KB |
|
|
.benchmark-5.1.x-Linux
Expired
|
14.7 KB |
|
|
.logs-4.08.x-Linux
Expired
|
623 KB |
|
|
.logs-4.08.x-Windows
Expired
|
656 KB |
|
|
.logs-4.14.x-Linux
Expired
|
624 KB |
|
|
.logs-4.14.x-Windows
Expired
|
657 KB |
|
|
.logs-4.14.x-macOS
Expired
|
627 KB |
|
|
.logs-5.1.x-Linux
Expired
|
624 KB |
|
|
benchmark-plot
Expired
|
1.25 MB |
|
|
elpi-4.08.x-Linux
Expired
|
7.53 MB |
|
|
elpi-4.08.x-Windows
Expired
|
6.57 MB |
|
|
elpi-4.14.x-Linux
Expired
|
7.08 MB |
|
|
elpi-4.14.x-Windows
Expired
|
6.49 MB |
|
|
elpi-4.14.x-macOS
Expired
|
5.43 MB |
|
|
elpi-5.1.x-Linux
Expired
|
7.83 MB |
|