Back to pull request #2662

KEVMSemantics: refactor custom_step and can_make_custom_step #10602

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	33s
Code Quality Checks	33s
Profiling	43s
Profiling	43s
Conformance Tests	13m 21s
Conformance Tests	13m 21s
Unit Tests	22s
Unit Tests	22s
Nix (normal)	8m 52s
Nix (normal)	8m 52s
Proofs: Rules (booster)	55m 41s
Proofs: Rules (booster)	55m 41s
Proofs: Rules (booster-dev)	14m 50s
Proofs: Rules (booster-dev)	14m 50s
Nix (macos-13)	59m 1s
Nix (macos-13)	59m 1s
Proofs: Functional	45m 15s
Proofs: Functional	43m 44s
Nix (ARM64)	5m 2s
Nix (ARM64)	5m 2s
Proofs: Optimizations	10m 2s
Proofs: Optimizations	10m 2s
Proofs: DSS	22m 49s
Proofs: DSS	22m 49s
	7h 51m 31s