Continuous integration

Proof Steps Graph #409

Sign in to view logs

Triggered via pull request June 7, 2024 11:40

oskari1

synchronize #54

proof-steps-v4

Status Failure

Total duration 14m 10s

Artifacts 5

continuous_integration.yml

on: pull_request

Matrix: generate_log

Matrix: test

Annotations

6 errors and 6 warnings

Process completed with exit code 101.

test (4.12.2)

Process completed with exit code 101.

test (4.12.4)

Process completed with exit code 101.

test (4.8.7)

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.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.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.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/

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/.

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
logs_z3_v4.8.7 Expired	1.06 GB