Build matrix

Don't try to run float_prelude test in interactive provers #686

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (4.08.1, ubuntu-latest)	9m 41s
build (5.0.0, ubuntu-latest)	7m 59s
build (5.0.0, macOS-latest)	6m 2s
build (macos-12, 4.08.1)	12m 58s
	36m 40s