Test PR

Removing SMT lemmas #10622

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	33s
Profiling	45s
Unit Tests	23s
Nix (normal)	8m 34s
Conformance Tests	19m 14s
Nix (macos-13)	27m 56s
Proofs: Rules (booster)	40m 21s
Nix (ARM64)	5m 17s
Proofs: Rules (booster-dev)	10m 7s
Proofs: Functional	20m 10s
Proofs: Optimizations	4m 54s
Proofs: DSS	45m 13s
	3h 3m 27s