Back to pull request #6346

feat: `BitVec.toInt_shiftLeft` theorem #25684

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
configure	4s
Linux release	16m 34s
macOS aarch64	19m 33s
Build matrix complete	1s
release-nightly	0s
release	0s
	36m 12s