Build and Test on *BSD

Add saturating arithmetic support to SMT2 incremental solver #2213

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
OpenBSD	8m 39s
FreeBSD	4m 42s
NetBSD	6m 7s
	19m 28s