Builds, tests & co

Add a GitHub Actions CI pipeline #2

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-opam	4s
lint-doc	4s
build (macos-latest, 4.08)	53s
build (ubuntu-latest, 5)	8s
build (macos-latest, 5)	6m 9s
build (ubuntu-latest, 4.08)	4s
build (windows-latest, 5)	31s
build (windows-latest, 4.08)	5m 7s
lint-doc	5m 27s
lint-opam	6m 52s
build (ubuntu-latest, 4.08)	5m 26s
build (windows-latest, 4.08)	2m 49s
build (ubuntu-latest, 5)	5m 1s
build (windows-latest, 5)	10m 38s
build (macos-latest, 4.08)	1m 23s
build (macos-latest, 5)	6m 9s
build (ubuntu-latest, 4.08)	1m 7s
build (ubuntu-latest, 5)	1m 12s
lint-doc	2m 35s
build (macos-latest, 5)	2m 39s
build (windows-latest, 4.08)	3m 17s
build (macos-latest, 4.08)	55s
build (windows-latest, 5)	2m 46s
lint-opam	1m 56s
lint-doc	3m 22s
build (windows-latest, 4.08)	2m 35s
build (windows-latest, 5)	2m 40s
build (macos-latest, 4.08)	50s
build (ubuntu-latest, 4.08)	1m 7s
build (macos-latest, 5)	2m 39s
build (ubuntu-latest, 5)	1m 12s
lint-opam	1m 56s
lint-doc	1m 36s
build (windows-latest, 4.08)	3m 9s
build (windows-latest, 5)	3m 16s
build (macos-latest, 4.08)	49s
build (macos-latest, 5)	2m 39s
lint-opam	1m 56s
build (ubuntu-latest, 5)	1m 12s
build (ubuntu-latest, 4.08)	1m 7s
	1h 45m 17s