Test PR

EIP-7610: Revert creation in case of non-empty storage #10762

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	39s
Unit Tests	26s
Profiling	42s
Proofs: Rules (booster)	1h 0m 6s
Conformance Tests	8m 48s
Proofs: Rules (booster-dev)	8m 45s
Nix (normal)	11m 32s
Nix (macos-13)	39m 33s
Proofs: Functional	19m 6s
Nix (ARM64)	5m 57s
Proofs: Optimizations	6m 28s
Proofs: DSS	22m 3s
	3h 4m 5s