Test PR

Removing SMT lemmas #10621

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	30s
Profiling	44s
Unit Tests	26s
Conformance Tests	19m 15s
Nix (normal)	8m 29s
Nix (macos-13)	23m 59s
Proofs: Rules (booster)	47m 59s
Nix (ARM64)	5m 17s
Proofs: Rules (booster-dev)	8m 34s
Proofs: Functional	22m 4s
Proofs: Optimizations	4m 47s
Proofs: DSS	42m 32s
	3h 4m 36s