Test PR

Eip4844 Point Evaluation precompile #10832

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	35s
Code Quality Checks	35s
Profiling	37s
Profiling	37s
Conformance Tests	7m 31s
Conformance Tests	7m 31s
Proofs: Rules (booster)	49m 0s
Proofs: Rules (booster)	49m 0s
Unit Tests	22s
Unit Tests	22s
Proofs: Rules (booster-dev)	8m 45s
Proofs: Rules (booster-dev)	8m 45s
Nix (normal)	9m 49s
Nix (normal)	9m 49s
Proofs: Functional	35m 26s
Proofs: Functional	20m 51s
Proofs: Optimizations	4m 44s
Proofs: Optimizations	4m 44s
Nix (macos-13)	33m 35s
Nix (macos-13)	33m 35s
Proofs: DSS	21m 2s
Proofs: DSS	21m 2s
Nix (ARM64)	6m 38s
Nix (ARM64)	6m 38s
	5h 41m 33s