Test PR

Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin #8656

Sign in to view logs

Triggered via pull request March 21, 2024 05:15

rv-jenkins

synchronize #2366

_update-deps/runtimeverification/blockchain-k-plugin

Status Failure

Total duration 1h 28m 9s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Build and Test KEVM concrete execution

Matrix: Nix

Matrix: Build and Test KEVM proofs

Annotations

2 errors and 10 warnings

Build and Test KEVM concrete execution

The job running on runner github-runner-25 has exceeded the maximum execution time of 45 minutes.

Build and Test KEVM concrete execution

The operation was canceled.

Version Bump

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Code Quality Checks

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4, Gr1N/setup-poetry@v8. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4, Gr1N/setup-poetry@v8. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Nix (ARM64)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4, Gr1N/setup-poetry@v8. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Nix (normal)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build and Test KEVM proofs (test-prove-kprove, 45)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Nix (macos-13)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Build and Test KEVM proofs (test-prove-pyk, 180)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.