Test PR

Refactoring eip-4844 #11075

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	37s
Unit Tests	26s
Profiling	42s
Conformance Tests	19m 26s
Nix (normal)	11m 1s
Proofs: Rules (booster)	35m 39s
Nix (ARM64)	8m 29s
Proofs: Rules (booster-dev)	8m 29s
Proofs: Functional	25m 27s
Proofs: Optimizations	5m 53s
Proofs: Summarization	12m 2s
Proofs: DSS	24m 45s
	2h 32m 56s