Skip to content

Update dependency cryptominisat to v5.11.22 #2803

Update dependency cryptominisat to v5.11.22

Update dependency cryptominisat to v5.11.22 #2803

Triggered via pull request July 13, 2024 21:16
Status Failure
Total duration 30s
Artifacts

ubuntu.yml

on: pull_request
Build everything
15s
Build everything
Gather coverage metrics
20s
Gather coverage metrics
clang tests everything
19s
clang tests everything
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
Build everything
Process completed with exit code 1.
clang tests everything
Process completed with exit code 1.
Gather coverage metrics
Process completed with exit code 1.
Build everything
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, bazelbuild/setup-bazelisk@v2, actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
clang tests everything
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, bazelbuild/setup-bazelisk@v2, actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Gather coverage metrics
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, bazelbuild/setup-bazelisk@v2, actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/