Skip to content
Test PR

Test z3 changes #5240

Sign in to view logs

Test z3 changes

Test z3 changes #5240

Triggered via pull request August 1, 2023 18:25
@radumereutaradumereuta
synchronize #1988
z3Test-Radu
Status Cancelled
Total duration 19m 20s
Artifacts –

test-pr.yml

on: pull_request
Version Bump
11s
Version Bump
Code Quality Checks
41s
Code Quality Checks
Matrix: Nix
Unit Tests
2m 16s
Unit Tests
Profiling
2m 43s
Profiling
Build and Test KEVM concrete execution
18m 0s
Build and Test KEVM concrete execution
Build and Test KEVM haskell proofs
12m 50s
Build and Test KEVM haskell proofs
Build and Test KEVM Foundry proofs
3m 8s
Build and Test KEVM Foundry proofs
Build and Test KEVM Foundry proofs (booster)
17m 55s
Build and Test KEVM Foundry proofs (booster)
Build Ubuntu Jammy DockerHub Image
17m 56s
Build Ubuntu Jammy DockerHub Image
Fit to window
Zoom out
Zoom in

Annotations

11 errors
Build and Test KEVM Foundry proofs
Process completed with exit code 2.
Nix (normal)
Process completed with exit code 1.
Build and Test KEVM haskell proofs
Process completed with exit code 2.
Build Ubuntu Jammy DockerHub Image
The run was canceled by @radumereuta.
Build Ubuntu Jammy DockerHub Image
The operation was canceled.
Build and Test KEVM Foundry proofs (booster)
The run was canceled by @radumereuta.
Build and Test KEVM Foundry proofs (booster)
The operation was canceled.
Build and Test KEVM concrete execution
The run was canceled by @radumereuta.
Build and Test KEVM concrete execution
The operation was canceled.
Nix (macos-13)
The run was canceled by @radumereuta.
Nix (macos-13)
The operation was canceled.