Test PR

Removing SMT lemmas #10623

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	32s
Unit Tests	24s
Proofs: Rules (booster)	52m 10s
Profiling	46s
Proofs: Rules (booster-dev)	7m 51s
Nix (normal)	8m 28s
Conformance Tests	19m 8s
Proofs: Functional	45m 13s
Nix (macos-13)	27m 17s
Proofs: Optimizations	4m 55s
Nix (ARM64)	5m 10s
Proofs: DSS	45m 16s
	3h 37m 10s