Test PR

Refactoring eip-4844 #11095

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	1m 20s
Profiling	36s
Proofs: Rules (booster)	52m 17s
Unit Tests	25s
Proofs: Rules (booster-dev)	9m 0s
Nix (normal)	11m 34s
Conformance Tests	17m 7s
Proofs: Functional	21m 38s
Nix (ARM64)	6s
Proofs: Optimizations	5m 38s
Proofs: Summarization	11m 43s
Proofs: DSS	21m 56s
	2h 33m 20s