Test PR

EIP 7516: BLOBBASEFEE opcode #10763

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	40s
Profiling	35s
Proofs: Rules (booster)	55m 17s
Unit Tests	25s
Proofs: Rules (booster-dev)	8m 52s
Nix (normal)	9m 6s
Conformance Tests	9m 2s
Proofs: Functional	19m 19s
Nix (macos-13)	29m 43s
Proofs: Optimizations	5m 2s
Nix (ARM64)	6m 1s
Proofs: DSS	24m 55s
	2h 48m 57s