Test PR

Removing SMT lemmas #10619

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Code Quality Checks	31s
Conformance Tests	24m 44s
Conformance Tests	24m 44s
Profiling	42s
Profiling	42s
Proofs: Rules (booster)	1h 0m 58s
Proofs: Rules (booster)	1h 0m 58s
Unit Tests	23s
Unit Tests	23s
Proofs: Rules (booster-dev)	9m 18s
Proofs: Rules (booster-dev)	9m 18s
Nix (normal)	8m 35s
Nix (normal)	8m 35s
Proofs: Functional	23m 30s
Proofs: Functional	23m 30s
Nix (macos-13)	24m 49s
Nix (macos-13)	24m 49s
Proofs: Optimizations	12m 17s
Proofs: Optimizations	12m 17s
Nix (ARM64)	5m 36s
Nix (ARM64)	5m 36s
Proofs: DSS	45m 14s
Proofs: DSS	42m 44s
	7h 10m 44s