Test PR

Update Ethereum-tests to its latest commit. #10693

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	43s
Unit Tests	25s
Profiling	34s
Conformance Tests	8m 54s
Nix (normal)	8m 29s
Nix (macos-13)	27m 6s
Proofs: Rules (booster)	1h 2m 38s
Nix (ARM64)	5m 20s
Proofs: Rules (booster-dev)	9m 24s
Proofs: Functional	42m 46s
Proofs: Optimizations	5m 22s
Proofs: DSS	22m 53s
	3h 14m 34s