Skip to content
Test PR

Lemmas on Boolean reasoning, set reasoning, map lookup #5943

Sign in to view logs

Lemmas on Boolean reasoning, set reasoning, map lookup

Lemmas on Boolean reasoning, set reasoning, map lookup #5943

Triggered via pull request August 24, 2023 14:51
@PetarMaxPetarMax
synchronize #2037
lemmas
Status Failure
Total duration 27m 49s
Artifacts –

test-pr.yml

on: pull_request
Version Bump
7s
Version Bump
Code Quality Checks
48s
Code Quality Checks
Unit Tests
2m 19s
Unit Tests
Profiling
1m 21s
Profiling
Build and Test KEVM concrete execution
26m 29s
Build and Test KEVM concrete execution
Build and Test KEVM haskell proofs
5m 38s
Build and Test KEVM haskell proofs
Build and Test KEVM Foundry proofs
1m 20s
Build and Test KEVM Foundry proofs
Build and Test KEVM Foundry proofs (booster)
3m 17s
Build and Test KEVM Foundry proofs (booster)
Build Ubuntu Jammy DockerHub Image
9m 14s
Build Ubuntu Jammy DockerHub Image
Matrix: Nix
Fit to window
Zoom out
Zoom in

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 and Test KEVM Foundry proofs (booster)
Process completed with exit code 2.
Build and Test KEVM haskell proofs
Process completed with exit code 2.
Build Ubuntu Jammy DockerHub Image
Process completed with exit code 1.
Build Ubuntu Jammy DockerHub Image
Process completed with exit code 2.
Nix (macos-13)
Process completed with exit code 1.