Build and Test on *BSD

Introduce `floatbv_round_to_integral_exprt` #1490

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
FreeBSD	26m 17s
NetBSD	30m 40s
OpenBSD	39m 19s
	1h 36m 16s