CI

feat: Add BitVector overflow predicates from SMT-LIB. #765

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
configure	3s
Linux release	24m 0s
macOS aarch64	12m 37s
Build matrix complete	3s
release-nightly	0s
release	0s
	36m 43s