Skip to content
Test PR

Test z3 changes #5238

Sign in to view logs

Test z3 changes

Test z3 changes #5238

Triggered via pull request August 1, 2023 18:08
@radumereutaradumereuta
opened #1988
z3Test-Radu
Status Cancelled
Total duration 30s
Artifacts –

test-pr.yml

on: pull_request
Version Bump
9s
Version Bump
Code Quality Checks
0s
Code Quality Checks
Matrix: Nix
Unit Tests
0s
Unit Tests
Profiling
0s
Profiling
Build and Test KEVM concrete execution
0s
Build and Test KEVM concrete execution
Build and Test KEVM haskell proofs
0s
Build and Test KEVM haskell proofs
Build and Test KEVM Foundry proofs
0s
Build and Test KEVM Foundry proofs
Build and Test KEVM Foundry proofs (booster)
0s
Build and Test KEVM Foundry proofs (booster)
Build Ubuntu Jammy DockerHub Image
0s
Build Ubuntu Jammy DockerHub Image
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Nix (macos-13)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1988/merge' exists
Code Quality Checks
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1988/merge' exists
Nix (normal)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1988/merge' exists
Nix (normal)
The operation was canceled.
Nix (ARM64)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/1988/merge' exists
Nix (ARM64)
A task was canceled.