Build matrix

SMT: Fix an issue with polymorphic variant types not being generalised #727

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (4.08.1, ubuntu-latest)	4m 44s
build (5.0.0, ubuntu-latest)	5m 17s
build (5.0.0, macOS-latest)	5m 31s
build (macos-12, 4.08.1)	10m 18s
	25m 50s