Test PR

Removing SMT lemmas #10626

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Profiling	43s
Unit Tests	23s
Conformance Tests	19m 6s
Nix (normal)	6m 34s
Nix (macos-13)	26m 3s
Proofs: Rules (booster)	4m 15s
Nix (ARM64)	4m 12s
Proofs: Rules (booster-dev)	4m 38s
Proofs: Functional	3m 33s
Proofs: Optimizations	4m 47s
Proofs: DSS	3m 38s
	1h 18m 23s