Skip to content
Test PR

WIP: Check valid jump dests on demand #9352

Sign in to view logs

WIP: Check valid jump dests on demand

WIP: Check valid jump dests on demand #9352

Triggered via pull request June 3, 2024 10:33
@palinatolmachpalinatolmach
synchronize #2112
raoul/is-valid-jump-dest
Status Failure
Total duration 1h 13m 30s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
1m 50s
Code Quality Checks
Version Bump
6s
Version Bump
Unit Tests
1m 42s
Unit Tests
Profiling
2m 9s
Profiling
Build and Test KEVM concrete execution
18m 31s
Build and Test KEVM concrete execution
Matrix: Nix
Matrix: Build and Test KEVM proofs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)
The self-hosted runner: github-runner-38 lost communication with the server. Verify the machine is running and has a healthy network connection. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
Build and Test KEVM concrete execution
Process completed with exit code 2.