Skip to content

Refactoring eip-4844 #11073

Refactoring eip-4844

Refactoring eip-4844 #11073

Triggered via pull request April 30, 2025 03:59
Status Cancelled
Total duration 43m 41s
Artifacts

test-pr.yml

on: pull_request
Code Quality Checks
40s
Code Quality Checks
Matrix: Nix
Matrix: test-prove
Fit to window
Zoom out
Zoom in

Annotations

9 errors
Proofs: Optimizations
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2752/merge' exists
Proofs: Rules (booster-dev)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2752/merge' exists
Proofs: Summarization
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2752/merge' exists
Proofs: Functional
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2752/merge' exists
Proofs: Functional
The operation was canceled.
Proofs: Rules (booster)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2752/merge' exists
Proofs: Rules (booster)
The operation was canceled.
Proofs: DSS
Canceling since a higher priority waiting request for 'Test PR-refs/pull/2752/merge' exists
Proofs: DSS
The operation was canceled.