Skip to content

CDCL Graph

CDCL Graph #416

Triggered via pull request June 23, 2024 04:48
Status Failure
Total duration 1m 1s
Artifacts 5

continuous_integration.yml

on: pull_request
Matrix: generate_log
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

12 errors and 6 warnings
test (4.12.4)
Process completed with exit code 2.
test (4.12.4)
Process completed with exit code 2.
test (4.8.17)
Process completed with exit code 2.
test (4.8.17)
Process completed with exit code 2.
format
Process completed with exit code 1.
test (4.12.2)
Process completed with exit code 2.
test (4.12.2)
Process completed with exit code 2.
test (4.8.7)
Process completed with exit code 2.
test (4.8.7)
Process completed with exit code 2.
test (4.11.2)
Process completed with exit code 2.
test (4.11.2)
Process completed with exit code 2.
clippy
Process completed with exit code 101.
test (4.12.4)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (4.8.17)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (4.12.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (4.8.7)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
test (4.11.2)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3, actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
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: "logs_z3_v4.11.2", "logs_z3_v4.12.2", "logs_z3_v4.12.4", "logs_z3_v4.8.17", "logs_z3_v4.8.7". 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
logs_z3_v4.11.2 Expired
45 Bytes
logs_z3_v4.12.2 Expired
45 Bytes
logs_z3_v4.12.4 Expired
45 Bytes
logs_z3_v4.8.17 Expired
45 Bytes
logs_z3_v4.8.7 Expired
45 Bytes