Update dependency: deps/k_release #9276
rv-jenkinstest-pr.yml
on: pull_request
Code Quality Checks
2m 0s
Version Bump
8s
Unit Tests
1m 53s
Profiling
2m 7s
Build and Test KEVM concrete execution
2m 20s
Matrix: Nix
Matrix: Build and Test KEVM proofs
Annotations
15 errors
|
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2447/merge' exists
|
|
Build and Test KEVM proofs (test-prove-pyk, 180)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2447/merge' exists
|
|
Profiling
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2447/merge' exists
|
|
Profiling
The operation was canceled.
|
|
Build and Test KEVM proofs (test-prove-kprove, 45)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2447/merge' exists
|
|
Build and Test KEVM proofs (test-prove-kprove, 45)
Process completed with exit code 1.
|
|
Nix (ARM64)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2447/merge' exists
|
|
Nix (ARM64)
The operation was canceled.
|
|
Build and Test KEVM concrete execution
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2447/merge' exists
|
|
Build and Test KEVM concrete execution
The operation was canceled.
|
|
Build and Test KEVM concrete execution
Process completed with exit code 1.
|
|
Nix (macos-13)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2447/merge' exists
|
|
Nix (macos-13)
The operation was canceled.
|
|
Nix (normal)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2447/merge' exists
|
|
Nix (normal)
The operation was canceled.
|