Skip to content

Proof Steps Graph

Proof Steps Graph #414

Triggered via pull request June 12, 2024 05:23
@oskari1oskari1
synchronize #54
proof-steps-v4
Status Failure
Total duration 38m 17s
Artifacts 4

continuous_integration.yml

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

Annotations

4 errors and 6 warnings
test (4.12.2)
Process completed with exit code 101.
test (4.11.2)
Process completed with exit code 101.
test (4.8.17)
Process completed with exit code 101.
test (4.12.4)
Process completed with exit code 101.
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.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/.
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.8.7)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache/restore@v3. 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". 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/
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/.

Artifacts

Produced during runtime
Name Size
logs_z3_v4.11.2 Expired
1.32 GB
logs_z3_v4.12.2 Expired
1.16 GB
logs_z3_v4.12.4 Expired
1.15 GB
logs_z3_v4.8.17 Expired
1.4 GB