Build and Test on *BSD

Fix SMT2 output determinism by using ordered maps #2310

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
NetBSD	2m 15s
FreeBSD	3m 44s
OpenBSD	20m 56s
	26m 55s