Build and Test on *BSD

CONTRACTS: ignore `__CPROVER_dead_object` assignments #1478

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
FreeBSD	5m 27s
NetBSD	7m 1s
OpenBSD	7m 30s
	19m 58s