Back to pull request #2616

Removing `#rangeBool` reasoning #10421

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Conformance Tests	13m 15s
Profiling	47s
Nix (normal)	11m 38s
Unit Tests	27s
Nix (macos-13)	32m 16s
Proofs: Rules (booster)	55m 17s
Nix (ARM64)	5m 2s
Proofs: Rules (booster-dev)	10m 35s
Proofs: Functional	22m 36s
Proofs: Optimizations	4m 48s
Proofs: DSS	36m 50s
	3h 14m 2s