Test PR

Removing SMT lemmas #10627

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	38s
Unit Tests	21s
Conformance Tests	19m 15s
Profiling	44s
Nix (normal)	8m 28s
Proofs: Rules (booster)	1h 2m 56s
Nix (macos-13)	28m 42s
Proofs: Rules (booster-dev)	8m 54s
Nix (ARM64)	5m 28s
Proofs: Functional	45m 13s
Proofs: Optimizations	4m 45s
Proofs: DSS	45m 15s
	3h 50m 39s