Skip to content
Test PR

Simplify and compact kompilation for Haskell vs Booster #7023

Sign in to view logs

Simplify and compact kompilation for Haskell vs Booster

Simplify and compact kompilation for Haskell vs Booster #7023

Triggered via pull request November 2, 2023 15:32
@rv-jenkinsrv-jenkins
synchronize #2144
simplify-haskell-kompile
Status Cancelled
Total duration 1h 19m 10s
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
8s
Version Bump
Code Quality Checks
45s
Code Quality Checks
Unit Tests
2m 26s
Unit Tests
Profiling
2m 13s
Profiling
Build and Test KEVM concrete execution
23m 36s
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)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2144/merge' exists
Build and Test KEVM proofs (test-prove-pyk, 120)
The operation was canceled.