CHR: constraints allow hyps, not considered in the clique error check #752
garesmain.yml
on: pull_request
Matrix: Build and test elpi
Aggregate and plot benchmarking data
42s
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, 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 (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, 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 (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/
|
|
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/
|
|
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.9 KB |
|
|
.benchmark-4.08.x-Windows
Expired
|
13.1 KB |
|
|
.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.1.x-Linux
Expired
|
14.8 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
|
1.26 MB |
|
|
elpi-4.08.x-Linux
|
7.62 MB |
|
|
elpi-4.08.x-Windows
|
6.66 MB |
|
|
elpi-4.14.x-Linux
|
7.15 MB |
|
|
elpi-4.14.x-Windows
|
6.59 MB |
|
|
elpi-4.14.x-macOS
|
5.5 MB |
|
|
elpi-5.1.x-Linux
|
7.92 MB |
|