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