Skip to content
Test PR

WIP: Check valid jump dests on demand #9414

Sign in to view logs

WIP: Check valid jump dests on demand

WIP: Check valid jump dests on demand #9414

Triggered via pull request June 6, 2024 12:17
@rv-jenkinsrv-jenkins
synchronize #2112
raoul/is-valid-jump-dest
Status Failure
Total duration 3h 38m 31s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
2m 1s
Code Quality Checks
Version Bump
25s
Version Bump
Unit Tests
2m 3s
Unit Tests
Profiling
2m 30s
Profiling
Build and Test KEVM concrete execution
28m 57s
Build and Test KEVM concrete execution
Matrix: Nix
Matrix: Build and Test KEVM proofs
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build and Test KEVM concrete execution
Process completed with exit code 2.
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)
The job running on runner github-runner-25 has exceeded the maximum execution time of 150 minutes.
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)
The operation was canceled.