Test z3 changes #5239
rv-jenkinstest-pr.yml
on: pull_request
Version Bump
9s
Matrix: Nix
Unit Tests
2m 17s
Profiling
2m 45s
Build and Test KEVM concrete execution
10m 18s
Build and Test KEVM haskell proofs
10m 19s
Build and Test KEVM Foundry proofs
10m 14s
Build and Test KEVM Foundry proofs (booster)
10m 29s
Build Ubuntu Jammy DockerHub Image
10m 20s
Annotations
13 errors
|
Nix (normal)
Process completed with exit code 1.
|
|
Build and Test KEVM Foundry proofs
The run was canceled by @radumereuta.
|
|
Build and Test KEVM Foundry proofs
The operation was canceled.
|
|
Build and Test KEVM haskell proofs
The run was canceled by @radumereuta.
|
|
Build and Test KEVM haskell proofs
The operation was canceled.
|
|
Build Ubuntu Jammy DockerHub Image
The run was canceled by @radumereuta.
|
|
Build Ubuntu Jammy DockerHub Image
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.
|
|
Build and Test KEVM Foundry proofs (booster)
The run was canceled by @radumereuta.
|
|
Build and Test KEVM Foundry proofs (booster)
The operation was canceled.
|
|
Nix (macos-13)
The run was canceled by @radumereuta.
|
|
Nix (macos-13)
The operation was canceled.
|