Main workflow

Fix workflow #80

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-latest, 5, async)	6m 24s
build (ubuntu-latest, 5, async)	6m 24s
build (ubuntu-latest, 5, async)	6m 24s
build (ubuntu-latest, 5, lwt)	5m 7s
build (ubuntu-latest, 5, lwt)	5m 7s
build (ubuntu-latest, 5, lwt)	5m 7s
build (ubuntu-latest, 4.14.0, async)	6m 24s
build (ubuntu-latest, 4.14.0, async)	6m 24s
build (ubuntu-latest, 4.14.0, async)	6m 24s
build (ubuntu-latest, 4.14.0, lwt)	4m 51s
build (ubuntu-latest, 4.14.0, lwt)	4m 51s
build (ubuntu-latest, 4.14.0, lwt)	4m 51s
build (ubuntu-latest, 4.08.0, lwt)	1m 54s
build (ubuntu-latest, 4.08.0, lwt)	1m 48s
build (ubuntu-latest, 4.08.0, lwt)	5m 10s
	1h 17m 10s