Skip to content

Update dependency: deps/pyk_release #8653

Update dependency: deps/pyk_release

Update dependency: deps/pyk_release #8653

Triggered via pull request March 20, 2024 23:58
Status Failure
Total duration 2h 30m 44s
Artifacts

test-pr.yml

on: pull_request
Code Quality Checks
3m 51s
Code Quality Checks
Version Bump
25s
Version Bump
Unit Tests
5m 18s
Unit Tests
Profiling
7m 36s
Profiling
Build and Test KEVM concrete execution
26m 41s
Build and Test KEVM concrete execution
Matrix: Nix
Matrix: Build and Test KEVM proofs
Fit to window
Zoom out
Zoom in

Annotations

17 errors and 10 warnings
Nix (ARM64)
Process completed with exit code 1.
Nix (normal)
Process completed with exit code 1.
Profiling
RPC failed; curl 92 HTTP/2 stream 0 was not closed cleanly: CANCEL (err 8)
Profiling
3099 bytes of body are still expected
Profiling
early EOF
Profiling
fetch-pack: invalid index-pack output
Profiling
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
RPC failed; curl 92 HTTP/2 stream 0 was not closed cleanly: CANCEL (err 8)
Profiling
385 bytes of body are still expected
Profiling
early EOF
Profiling
fetch-pack: invalid index-pack output
Profiling
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
Nix (macos-13)
Process completed with exit code 1.
Build and Test KEVM concrete execution
Process completed with exit code 2.
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, --use-booster, 150)
Process completed with exit code 2.
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/.
Profiling
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/.
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/.
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/.