Skip to content
Test PR

Cleanups to specifications to enable modularity, re-provability #9370

Sign in to view logs

Cleanups to specifications to enable modularity, re-provability

Cleanups to specifications to enable modularity, re-provability #9370

Triggered via pull request June 3, 2024 23:22
@ehildenbehildenb
synchronize #2451
spec-cleanups
Status Failure
Total duration 1h 45m 58s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
2m 11s
Code Quality Checks
Version Bump
6s
Version Bump
Unit Tests
1m 51s
Unit Tests
Profiling
2m 16s
Profiling
Build and Test KEVM concrete execution
15m 9s
Build and Test KEVM concrete execution
Matrix: Nix
Matrix: Build and Test KEVM proofs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Nix (ARM64)
Process completed with exit code 1.
Build and Test KEVM proofs (test-prove-pyk, 150)
Process completed with exit code 2.