Lemmas on Boolean reasoning, set reasoning, map lookup #5956
test-pr.yml
on: pull_request
Version Bump
8s
Unit Tests
1m 49s
Profiling
1m 29s
Build and Test KEVM concrete execution
22m 5s
Build and Test KEVM haskell proofs
3m 36s
Build and Test KEVM Foundry proofs
2m 47s
Build and Test KEVM Foundry proofs (booster)
3m 33s
Build Ubuntu Jammy DockerHub Image
3m 20s
Matrix: Nix
Annotations
9 errors
Profiling
Process completed with exit code 2.
|
Nix (ARM64)
Process completed with exit code 1.
|
Build and Test KEVM Foundry proofs
Process completed with exit code 2.
|
Nix (normal)
Process completed with exit code 1.
|
Build Ubuntu Jammy DockerHub Image
Process completed with exit code 1.
|
Build Ubuntu Jammy DockerHub Image
Process completed with exit code 2.
|
Build and Test KEVM Foundry proofs (booster)
Process completed with exit code 2.
|
Build and Test KEVM haskell proofs
Process completed with exit code 2.
|
Nix (macos-13)
Process completed with exit code 1.
|