Clearly distinguish factored width from the tree width #514

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
testing (ubuntu-latest)	29m 8s
testing (macos-13)	33m 10s
testing (macos-latest)	21m 6s
testing (windows-latest)	31m 23s
	1h 54m 47s