Skip to content

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

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

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

Triggered via pull request March 24, 2024 23:43
Status Cancelled
Total duration 1h 18m 22s
Artifacts

test-pr.yml

on: pull_request
Code Quality Checks
1m 45s
Code Quality Checks
Version Bump
18s
Version Bump
Unit Tests
11m 6s
Unit Tests
Profiling
2m 19s
Profiling
Build and Test KEVM concrete execution
25m 38s
Build and Test KEVM concrete execution
Matrix: Nix
Matrix: Build and Test KEVM proofs
Fit to window
Zoom out
Zoom in

Annotations

18 errors and 9 warnings
Nix (ARM64)
Process completed with exit code 1.
Nix (normal)
Process completed with exit code 1.
Unit Tests
RPC failed; curl 92 HTTP/2 stream 0 was not closed cleanly: CANCEL (err 8)
Unit Tests
1654 bytes of body are still expected
Unit Tests
early EOF
Unit Tests
fetch-pack: invalid index-pack output
Unit Tests
clone of 'https://github.com/ethereum/tests.git' into submodule path '/home/github-runner/actions-runner/_work/evm-semantics/evm-semantics/tests/ethereum-tests' failed
Profiling
Process completed with exit code 2.
Nix (macos-13)
Process completed with exit code 1.
Build and Test KEVM concrete execution
RPC failed; curl 92 HTTP/2 stream 0 was not closed cleanly: CANCEL (err 8)
Build and Test KEVM concrete execution
7054 bytes of body are still expected
Build and Test KEVM concrete execution
early EOF
Build and Test KEVM concrete execution
fetch-pack: invalid index-pack output
Build and Test KEVM concrete execution
clone of 'https://github.com/ethereum/tests.git' into submodule path '/home/github-runner/actions-runner/_work/evm-semantics/evm-semantics/tests/ethereum-tests' failed
Build and Test KEVM proofs (test-prove-kprove, 45)
The job running on runner github-runner-37 has exceeded the maximum execution time of 45 minutes.
Build and Test KEVM proofs (test-prove-kprove, 45)
The operation was canceled.
Build and Test KEVM proofs (test-prove-pyk, 180)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2368/merge' exists
Build and Test KEVM proofs (test-prove-pyk, 180)
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/.
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/.
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/.
Unit Tests
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/.
Profiling
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 (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 concrete execution
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/.