Test PR

EIP 7702 Implement SetCode transactions #11161

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	38s
Unit Tests	24s
Nix (ARM64)	7m 57s
Profiling	36s
Conformance Tests	20m 27s
Proofs: DSS	38m 8s
Proofs: Functional	28m 6s
Nix (normal)	15m 39s
Proofs: Rules (booster)	1h 5m 21s
Proofs: Optimizations	8m 34s
Proofs: Summarization	23m 42s
Proofs: Rules (booster-dev)	8m 58s
	3h 38m 30s