Test PR

EIP 7702 Implement SetCode transactions #11155

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	42s
Unit Tests	25s
Profiling	37s
Conformance Tests	8m 54s
Proofs: Functional	32m 54s
Nix (ARM64)	8m 36s
Proofs: DSS	37m 1s
Nix (normal)	12m 23s
Proofs: Optimizations	10m 17s
Proofs: Summarization	14m 28s
Proofs: Rules (booster-dev)	16m 35s
Proofs: Rules (booster)	51m 25s
	3h 14m 17s