Test PR

Refactoring eip-4844 #11097

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	44s
Profiling	36s
Conformance Tests	18m 11s
Unit Tests	24s
Proofs: Rules (booster)	50m 44s
Proofs: Rules (booster-dev)	14m 25s
Proofs: Functional	24m 7s
Proofs: Optimizations	10m 56s
Proofs: Summarization	10m 41s
Nix (normal)	14m 49s
Proofs: DSS	23m 21s
Nix (ARM64)	6s
	2h 49m 4s