Skip to content
Test PR

Simplify and compact kompilation for Haskell vs Booster #6993

Sign in to view logs

Simplify and compact kompilation for Haskell vs Booster

Simplify and compact kompilation for Haskell vs Booster #6993

Re-run triggered November 1, 2023 15:39
@ehildenbehildenb
#2144
simplify-haskell-kompile
Status Failure
Total duration 2h 6m 29s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test-pr.yml

on: pull_request
Version Bump
9s
Version Bump
Code Quality Checks
46s
Code Quality Checks
Unit Tests
2m 42s
Unit Tests
Profiling
3m 36s
Profiling
Build and Test KEVM concrete execution
22m 58s
Build and Test KEVM concrete execution
Matrix: Nix
Matrix: Build and Test KEVM proofs
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Nix (ARM64)
Process completed with exit code 1.
Build and Test KEVM proofs (test-prove-kprove, 45)
Process completed with exit code 2.
Nix (macos-13)
Process completed with exit code 1.
Build and Test KEVM proofs (test-prove-pyk, 120)
The job running on runner github-runner-18 has exceeded the maximum execution time of 120 minutes.
Build and Test KEVM proofs (test-prove-pyk, 120)
The operation was canceled.