Lemmas on Boolean reasoning, set reasoning, map lookup #5965
PetarMaxtest-pr.yml
on: pull_request
Version Bump
7s
Unit Tests
1m 45s
Profiling
2m 12s
Build and Test KEVM concrete execution
2m 12s
Build and Test KEVM haskell proofs
0s
Build and Test KEVM Foundry proofs
0s
Build and Test KEVM Foundry proofs (booster)
0s
Build Ubuntu Jammy DockerHub Image
2m 14s
Matrix: Nix
Annotations
13 errors
|
Build and Test KEVM Foundry proofs
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2037/merge' exists
|
|
Nix (normal)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2037/merge' exists
|
|
Build and Test KEVM haskell proofs
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2037/merge' exists
|
|
Build and Test KEVM Foundry proofs (booster)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2037/merge' exists
|
|
Profiling
The operation was canceled.
|
|
Build and Test KEVM concrete execution
The operation was canceled.
|
|
Build Ubuntu Jammy DockerHub Image
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2037/merge' exists
|
|
Build Ubuntu Jammy DockerHub Image
Process completed with exit code 1.
|
|
Build Ubuntu Jammy DockerHub Image
The operation was canceled.
|
|
Nix (macos-13)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2037/merge' exists
|
|
Nix (macos-13)
The operation was canceled.
|
|
Nix (ARM64)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2037/merge' exists
|
|
Nix (ARM64)
The operation was canceled.
|