Skip to content
Test PR

Automatically add subproofs to parallelized execution once they become available #6204

Sign in to view logs

Automatically add subproofs to parallelized execution once they become available

Automatically add subproofs to parallelized execution once they become available #6204

Triggered via pull request September 7, 2023 22:57
@nwatson22nwatson22
opened #2065
noah/branches-parallelization
Status Failure
Total duration 1m 11s
Artifacts –

test-pr.yml

on: pull_request
Version Bump
11s
Version Bump
Code Quality Checks
38s
Code Quality Checks
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 haskell proofs (booster)
0s
Build and Test KEVM haskell proofs (booster)
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
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

1 error
Code Quality Checks
Process completed with exit code 2.