Update dependency: deps/pyk_release #5318
test-pr.yml
on: pull_request
Version Bump
9s
Matrix: Nix
Unit Tests
2m 34s
Profiling
2m 59s
Build and Test KEVM concrete execution
1m 10s
Build and Test KEVM haskell proofs
4m 56s
Build and Test KEVM Foundry proofs
3m 15s
Build and Test KEVM Foundry proofs (booster)
4m 56s
Build Ubuntu Jammy DockerHub Image
0s
Annotations
14 errors
Build and Test KEVM Foundry proofs
Process completed with exit code 2.
|
Build Ubuntu Jammy DockerHub Image
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1969/merge' exists
|
Nix (macos-13)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1969/merge' exists
|
Nix (macos-13)
The operation was canceled.
|
Build and Test KEVM haskell proofs
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1969/merge' exists
|
Build and Test KEVM haskell proofs
The operation was canceled.
|
Build and Test KEVM Foundry proofs (booster)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1969/merge' exists
|
Build and Test KEVM Foundry proofs (booster)
The operation was canceled.
|
Build and Test KEVM concrete execution
The operation was canceled.
|
Build and Test KEVM concrete execution
Process completed with exit code 1.
|
Nix (ARM64)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1969/merge' exists
|
Nix (ARM64)
The operation was canceled.
|
Nix (normal)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1969/merge' exists
|
Nix (normal)
The operation was canceled.
|