Build and Test on *BSD

Fix SMT2 output determinism by using ordered maps #2308

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
NetBSD	2m 14s
OpenBSD	9m 4s
FreeBSD	3m 52s
	15m 10s