Build matrix

Adds several Lean backends for built-in SAIL functions (mostly arithm… #1048

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docker	7m 3s
build (4.08.1, ubuntu-latest)	6m 11s
build (5.2.1, ubuntu-latest)	5m 53s
build (5.2.1, macos-latest)	6m 51s
	25m 58s