Back to pull request #2571

Optimize how we run proofs with booster #10151

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	32s
Unit Tests	24s
Profiling	51s
Conformance Tests	14m 21s
Nix (normal)	6m 48s
Nix (macos-13)	24m 47s
Proofs: Rules (booster)	34m 20s
Nix (ARM64)	5m 5s
Proofs: Rules (booster-dev)	5m 57s
Proofs: Functional	11m 34s
Proofs: Optimizations	5m 34s
Proofs: DSS	22m 11s
	2h 12m 24s