Builds, tests & co

Add a GitHub Actions CI pipeline #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-opam	4s
build (ubuntu-latest, 5)	5s
lint-doc	5m 41s
build (ubuntu-latest, 4.08)	4s
build (macos-latest, 4.08)	51s
build (macos-latest, 5)	5m 4s
build (windows-latest, 4.08)	1m 39s
build (windows-latest, 5)	32s
lint-doc	1m 43s
lint-opam	1m 58s
build (ubuntu-latest, 4.08)	4m 36s
build (ubuntu-latest, 5)	1m 9s
build (windows-latest, 5)	12m 2s
build (windows-latest, 4.08)	3m 14s
build (macos-latest, 4.08)	50s
build (macos-latest, 5)	5m 4s
	44m 36s