Builds, tests & co

Builds, tests & co #72

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
lint-opam	6m 26s
build (ubuntu-latest, 5)	5m 28s
lint-fmt	6m 13s
lint-doc	5m 41s
build (ubuntu-latest, 4)	4m 43s
build (macos-latest, 5)	5m 12s
build (macos-latest, 4)	1m 44s
build (windows-latest, 5)	2m 58s
build (windows-latest, 4)	3m 8s
build (ubuntu-latest, 4.08)	5m 5s
	46m 38s