Skip to content
Test PR

Utilize dependency claims when discharging KClaim style proofs #5891

Sign in to view logs

Utilize dependency claims when discharging KClaim style proofs

Utilize dependency claims when discharging KClaim style proofs #5891

Triggered via pull request August 23, 2023 12:02
@h0nzZikh0nzZik
synchronize #1926
frob
Status Failure
Total duration 1h 20m 45s
Artifacts –

test-pr.yml

on: pull_request
Version Bump
8s
Version Bump
Code Quality Checks
44s
Code Quality Checks
Unit Tests
2m 23s
Unit Tests
Profiling
7m 17s
Profiling
Build and Test KEVM concrete execution
15m 36s
Build and Test KEVM concrete execution
Build and Test KEVM haskell proofs
58m 10s
Build and Test KEVM haskell proofs
Build and Test KEVM Foundry proofs
32m 20s
Build and Test KEVM Foundry proofs
Build and Test KEVM Foundry proofs (booster)
1h 19m
Build and Test KEVM Foundry proofs (booster)
Build Ubuntu Jammy DockerHub Image
21m 1s
Build Ubuntu Jammy DockerHub Image
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build and Test KEVM Foundry proofs
Process completed with exit code 2.
Build and Test KEVM haskell proofs
Process completed with exit code 2.
Build and Test KEVM Foundry proofs (booster)
Process completed with exit code 2.